Home
last modified time | relevance | path

Searched refs:VMCS_IDENT (Results 1 – 4 of 4) sorted by relevance

/NextBSD/sys/amd64/vmm/intel/
HDvmcs.h97 #define VMCS_IDENT(encoding) ((encoding) | 0x80000000) macro
HDvmx.c801 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow()
805 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial); in vmx_setup_cr_shadow()
2807 VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY), &gi); in vmx_get_intr_shadow()
2828 ident = VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY); in vmx_modify_intr_shadow()
2909 VMCS_IDENT(VMCS_ENTRY_CTLS), &ctls); in vmx_setreg()
2915 VMCS_IDENT(VMCS_ENTRY_CTLS), ctls); in vmx_setreg()
2924 VMCS_IDENT(shadow), val); in vmx_setreg()
/NextBSD/usr.sbin/bhyve/
HDbhyverun.c403 #define VMCS_IDENT(x) ((x) | 0x80000000) macro
426 VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS), in vmexit_vmx()
/NextBSD/usr.sbin/bhyvectl/
HDbhyvectl.c505 return (vm_get_register(ctx, vcpu, VMCS_IDENT(field), ret_val)); in vm_get_vmcs_field()
512 return (vm_set_register(ctx, vcpu, VMCS_IDENT(field), val)); in vm_set_vmcs_field()