Symbol: acpi_madt
src/system/boot/platform/bios_ia32/smp.cpp
262
acpi_madt *madt = (acpi_madt *)acpi_find_table(ACPI_MADT_SIGNATURE);
src/system/boot/platform/bios_ia32/smp.cpp
272
acpi_apic *apic = (acpi_apic *)((uint8 *)madt + sizeof(acpi_madt));
src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp
86
acpi_madt *madt = (acpi_madt*)acpi_find_table(ACPI_MADT_SIGNATURE);
src/system/boot/platform/efi/arch/x86/arch_smp.cpp
131
acpi_madt *madt = (acpi_madt *)acpi_find_table(ACPI_MADT_SIGNATURE);
src/system/boot/platform/efi/arch/x86/arch_smp.cpp
141
acpi_apic *apic = (acpi_apic *)((uint8 *)madt + sizeof(acpi_madt));