Searched refs:SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dvmenter.h26 #define SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR 5 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dvm.c103 vcpu->vcpu_arch.guest_state->exit.instruction_length = msg[SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR];
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c1073 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR, vmread(VMX_DATA_EXIT_INSTRUCTION_LENGTH)); local

Completed in 88 milliseconds