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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.h33 bool irr_pending; member in struct:vm_lapic
H A Dlapic.c284 if (!apic->irr_pending) {
300 apic->irr_pending = true;
309 apic->irr_pending = (vec != -1);
961 apic->irr_pending = 0;

Completed in 89 milliseconds