Searched refs:APIC_PAGE_SIZE (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/kernel/arch/x86/ | ||
H A D | apic.c | 26 #define APIC_PAGE_SIZE 4096 macro 114 lvaddr_t apic_base = paging_map_device(apic_phys, APIC_PAGE_SIZE); |
Completed in 28 milliseconds