Searched refs:apic_addr (Results 1 – 1 of 1) sorted by relevance
83 uint64_t apic_addr);934 acpi_print_io_apic(uint32_t apic_id, uint32_t int_base, uint64_t apic_addr) in acpi_print_io_apic() argument939 printf("\tADDR=0x%016jx\n", (uintmax_t)apic_addr); in acpi_print_io_apic()