local_apic_address  136 dev/acpi/acpimadt.c 	printf(" addr 0x%x", madt->local_apic_address);
local_apic_address  153 dev/acpi/acpimadt.c 	lapic_boot_init(madt->local_apic_address);
local_apic_address  221 dev/acpi/acpireg.h 	u_int32_t	local_apic_address;