Symbol: acpi_rsdp
headers/private/kernel/acpi.h
39
typedef acpi_rsdp_extended acpi_rsdp;
src/add-ons/kernel/drivers/timer/arch_acpi.h
36
typedef acpi_rsdp_extended acpi_rsdp;