Home
last modified time | relevance | path

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

/freebsd/sys/amd64/vmm/intel/
H A Dvmcs.h110 #define VMCS_IDENT(encoding) ((encoding) | 0x80000000) macro
H A Dvmx.c1042 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow()
1046 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial); in vmx_setup_cr_shadow()
3354 VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY), &gi); in vmx_get_intr_shadow()
3375 ident = VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY); in vmx_modify_intr_shadow()
3472 VMCS_IDENT(VMCS_ENTRY_CTLS), &ctls); in vmx_setreg()
3478 VMCS_IDENT(VMCS_ENTRY_CTLS), ctls); in vmx_setreg()
3487 VMCS_IDENT(shadow), val); in vmx_setreg()
/freebsd/usr.sbin/bhyve/amd64/
H A Dvmexit.c262 VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS), in vmexit_vmx()