madt              126 dev/acpi/acpimadt.c 	struct acpi_madt *madt = (struct acpi_madt *)aaa->aaa_table;
madt              127 dev/acpi/acpimadt.c 	caddr_t addr = (caddr_t)(madt + 1);
madt              136 dev/acpi/acpimadt.c 	printf(" addr 0x%x", madt->local_apic_address);
madt              137 dev/acpi/acpimadt.c 	if (madt->flags & ACPI_APIC_PCAT_COMPAT)
madt              153 dev/acpi/acpimadt.c 	lapic_boot_init(madt->local_apic_address);
madt              156 dev/acpi/acpimadt.c 	while (addr < (caddr_t)madt + madt->hdr.length) {
madt              221 dev/acpi/acpimadt.c 	addr = (caddr_t)(madt + 1);
madt              222 dev/acpi/acpimadt.c 	while (addr < (caddr_t)madt + madt->hdr.length) {