Searched refs:apic_addr (Results 1 – 2 of 2) sorted by relevance
69 u_int32_t apic_addr; member101 u_int64_t apic_addr; member108 u_int64_t apic_addr; member
64 uint64_t apic_addr);370 acpi_print_io_apic(uint32_t apic_id, uint32_t int_base, uint64_t apic_addr) in acpi_print_io_apic() argument375 printf("\tADDR=0x%016jx\n", (uintmax_t)apic_addr); in acpi_print_io_apic()