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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.c662 static uint32_t __apic_read(vm_lapic_t *apic, unsigned int offset) function
841 result = __apic_read(apic, offset & ~0xf);

Completed in 26 milliseconds