Searched refs:VMX_GUEST_ES_BASE (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dvmcs_fields.h47 #define VMX_GUEST_ES_BASE 0x00006806 macro
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dvmcs.c52 vm_vmcs_write(vcpu->vcpu.cptr, VMX_GUEST_ES_BASE, 0);
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h136 #define VMX_GUEST_ES_BASE 0x00006806 macro
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c693 case VMX_GUEST_ES_BASE:
823 case VMX_GUEST_ES_BASE:

Completed in 87 milliseconds