Searched refs:VM_REG_GUEST_R13 (Results 1 – 9 of 9) sorted by relevance
71 VM_REG_GUEST_R13, enumerator
441 VM_REG_GUEST_R13, /* KDIREG_R13 */
156 VM_REG_GUEST_R13,
1668 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R13, zero)) != 0) in vcpu_reset()
2092 case VM_REG_GUEST_R13: in swctx_regptr()
702 error = vm_get_register(vcpu, VM_REG_GUEST_R13, &r13); in get_all_registers()
3069 case VM_REG_GUEST_R13: in vmxctx_regptr()
419 VM_REG_GUEST_R13, enumerator
3048 VM_REG_GUEST_R13, in vcpu_arch_reset() enumerator