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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_vcpu_fault_arch.c70 unsigned int qualification = vm_guest_exit_get_qualification(vcpu->vcpu_arch.guest_state); local
H A Dept.c62 unsigned int qualification = vm_guest_exit_get_qualification(vcpu->vcpu_arch.guest_state); local
H A Dguest_state.h37 unsigned int qualification; member in struct:guest_exit_information
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c1059 static void setMRs_vmexit(uint32_t reason, word_t qualification) argument
1071 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_QUALIFICATION_MR, qualification); local
1085 static void handleVmxFault(uint32_t reason, word_t qualification) argument
1129 word_t qualification; local
[all...]

Completed in 46 milliseconds