Searched refs:apic_phys (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/x86/
H A Dapic.c113 lpaddr_t apic_phys = ((lpaddr_t)apic_base_msr) & APIC_BASE_ADDRESS_MASK; local
114 lvaddr_t apic_base = paging_map_device(apic_phys, APIC_PAGE_SIZE);
121 apic_phys, apic_base);

Completed in 68 milliseconds