Searched defs:LAPIC_STATE_WAITSIPI (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ | ||
| H A D | lapic.h | 13 LAPIC_STATE_WAITSIPI, enumerator in enum:vm_lapic_state |
Completed in 23 milliseconds