80#define ACPI_STA_FLAGS_DEFAULT (ACPI_STA_PRESENT | ACPI_STA_ENABLED | ACPI_STA_SHOW_IN_UI | ACPI_STA_FUNCTIONAL)
86typedef struct acpi_device_irq
97typedef struct acpi_device_io
111typedef struct acpi_device_cfg
#define MAX_NAME
Maximum length of names.
uint16_t port_t
I/O port type.
uint32_t irq_phys_t
Physical IRQ numbers.
uint8_t irq_virt_t
Virtual IRQ numbers.
acpi_device_cfg_t * acpi_device_cfg_lookup(const char *name)
Retrieves the ACPI device configuration for a device by its name.
uint64_t acpi_devices_init(void)
Enumerate, configure and load modules for ACPI devices.
uint64_t acpi_device_cfg_get_port(acpi_device_cfg_t *cfg, uint64_t index, port_t *out)
Retrieves an the nth IO port assigned to an ACPI device.
acpi_sta_flags_t
Flags for the _STA method.
@ ACPI_STA_BATTERY_PRESENT
Set if a battery is present.
@ ACPI_STA_SHOW_IN_UI
Set if the device should be shown in the UI.
@ ACPI_STA_PRESENT
Set if the device is present.
@ ACPI_STA_FUNCTIONAL
Set if the device is functioning properly (cleared if device failed its diagnostics)
@ ACPI_STA_ENABLED
Set if the device is enabled and decoding its resources.
ACPI device configuration structure.
Represents an IO port range assigned to an ACPI device.
Represents a IRQ assigned to an ACPI device.