sys/amd64/vmm/intel/vmx.c

1042

error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value);

sys/amd64/vmm/intel/vmx.c

1046

error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial);

sys/amd64/vmm/intel/vmx.c

3354

VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY), &gi);

sys/amd64/vmm/intel/vmx.c

3375

ident = VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY);

sys/amd64/vmm/intel/vmx.c

3472

VMCS_IDENT(VMCS_ENTRY_CTLS), &ctls);

sys/amd64/vmm/intel/vmx.c

3478

VMCS_IDENT(VMCS_ENTRY_CTLS), ctls);

sys/amd64/vmm/intel/vmx.c

3487

VMCS_IDENT(shadow), val);

usr.sbin/bhyve/amd64/vmexit.c

262

VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS),

usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c

442

return (vm_get_register(vcpu, VMCS_IDENT(field), ret_val));