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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.c425 int vm_apic_match_physical_addr(vm_lapic_t *apic, uint16_t dest) function
469 result = vm_apic_match_physical_addr(target, dest);

Completed in 40 milliseconds