VM_REG_GUEST_CR3
SETREG(vcpu, VM_REG_GUEST_CR3, tss->tss_cr3);
VM_REG_GUEST_CR3,
error = vm_set_register(vcpu, VM_REG_GUEST_CR3, cr3);
error = vm_get_register(vcpu, VM_REG_GUEST_CR3, &cr3);
VM_REG_GUEST_CR3, /* KDIREG_CR3 */
VM_REG_GUEST_CR3, /* VMM_REG_CR3 */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_CR3, zero)) != 0)
VM_REG_GUEST_CR3,
case VM_REG_GUEST_CR3:
case VM_REG_GUEST_CR3:
case VM_REG_GUEST_CR3:
case VM_REG_GUEST_CR3:
VM_REG_GUEST_CR3,
VM_REG_GUEST_CR3,
case VM_REG_GUEST_CR3: