Symbol: acpi_rsdp_extended
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;
src/system/boot/platform/bios_ia32/acpi.cpp
58
i < sizeof(acpi_rsdp_extended); i++) {
src/system/boot/platform/efi/acpi.cpp
59
i < sizeof(acpi_rsdp_extended); i++) {