Searched defs:lvt_type (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.c207 static inline int apic_lvt_enabled(vm_lapic_t *apic, int lvt_type) argument
212 static inline int apic_lvt_vector(vm_lapic_t *apic, int lvt_type) argument

Completed in 65 milliseconds