Searched refs:VMX_GUEST_CR0 (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.h44 #define VMX_GUEST_CR0 0x00006800 macro
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_x86_context.c53 case VMX_GUEST_CR0:
101 case VMX_GUEST_CR0:
H A Dguest_state.h175 err = vm_vmcs_read(vcpu, VMX_GUEST_CR0, &value);
380 int err = vm_vmcs_write(vcpu, VMX_GUEST_CR0, gs->machine.cr0);
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c460 vmwrite(VMX_GUEST_CR0, vcpu->cr0);
622 case VMX_GUEST_CR0:
729 case VMX_GUEST_CR0:
748 case VMX_GUEST_CR0:
860 case VMX_GUEST_CR0:
1107 vcpu->cached_cr0 = vmread(VMX_GUEST_CR0);
1382 vmwrite(VMX_GUEST_CR0, cr0);
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h133 #define VMX_GUEST_CR0 0x00006800 macro

Completed in 37 milliseconds