x86_acpi.h

Go to the documentation of this file.

/*
 * Copyright (c) 2023, Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
uint32_t arch_acpi_encode_irq_flags(uint8_t polarity, uint8_t trigger);