VM_REG_GUEST_CR4
VM_REG_GUEST_CR4,
error = vm_set_register(vcpu, VM_REG_GUEST_CR4, cr4);
error = vm_get_register(vcpu, VM_REG_GUEST_CR4, &cr4);
VM_REG_GUEST_CR4, /* VMM_REG_CR4 */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_CR4, cr4)) != 0)
VM_REG_GUEST_CR4,
case VM_REG_GUEST_CR4:
case VM_REG_GUEST_CR4:
case VM_REG_GUEST_CR4:
case VM_REG_GUEST_CR4:
VM_REG_GUEST_CR4,
VM_REG_GUEST_CR4, &cr4);
VM_REG_GUEST_CR4,
case VM_REG_GUEST_CR4: