Searched refs:guest_machine_state_t (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ | ||
| H A D | guest_state.h | 84 } guest_machine_state_t; typedef in typeref:struct:guest_machine_state 105 guest_machine_state_t machine; |
Completed in 81 milliseconds