Home
last modified time | relevance | path

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

/freebsd-13-stable/sys/amd64/vmm/intel/
HDvmcs.c117 case VM_REG_GUEST_PDPTE2: in vmcs_field_encoding()
HDvmx.c4183 err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_PDPTE2, meta); in vmx_vcpu_snapshot()
/freebsd-13-stable/sys/amd64/include/
HDvmm.h91 VM_REG_GUEST_PDPTE2, enumerator
/freebsd-13-stable/usr.sbin/bhyve/
HDtask_switch.c526 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()