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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h23 BOOT_CODE paddr_t apic_get_base_paddr(void);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dapic.c38 apic_get_base_paddr(void) function
H A Dvspace.c139 phys = apic_get_base_paddr();
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dintel-vtd.c407 addr = apic_get_base_paddr();

Completed in 97 milliseconds