Searched refs:VMX_GUEST_CR3 (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dvmcs_fields.h45 #define VMX_GUEST_CR3 0x00006802 macro
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_x86_context.c56 case VMX_GUEST_CR3:
104 case VMX_GUEST_CR3:
H A Dguest_state.h187 err = vm_vmcs_read(vcpu, VMX_GUEST_CR3, &value);
389 int err = vm_vmcs_write(vcpu, VMX_GUEST_CR3, gs->machine.cr3);
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h134 #define VMX_GUEST_CR3 0x00006802 macro
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c712 case VMX_GUEST_CR3:
861 case VMX_GUEST_CR3:
1077 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_CR3_MR, vmread(VMX_GUEST_CR3));

Completed in 35 milliseconds