Searched refs:VMX_GUEST_GDTR_LIMIT (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dvmcs_fields.h30 #define VMX_GUEST_GDTR_LIMIT 0x00004810 macro
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_x86_context.c74 case VMX_GUEST_GDTR_LIMIT:
122 case VMX_GUEST_GDTR_LIMIT:
H A Dvmcs.c37 vm_vmcs_write(vcpu->vcpu.cptr, VMX_GUEST_GDTR_LIMIT, 0x0);
H A Dguest_state.h281 err = vm_vmcs_read(vcpu, VMX_GUEST_GDTR_LIMIT, &value);
443 int err = vm_vmcs_write(vcpu, VMX_GUEST_GDTR_LIMIT, gs->machine.gdt_limit);
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h99 #define VMX_GUEST_GDTR_LIMIT 0x00004810 macro
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c678 case VMX_GUEST_GDTR_LIMIT:
808 case VMX_GUEST_GDTR_LIMIT:

Completed in 91 milliseconds