Searched refs:VM_REG_GUEST_R9 (Results 1 – 9 of 9) sorted by relevance
67 VM_REG_GUEST_R9, enumerator
434 VM_REG_GUEST_R9, /* KDIREG_R9 */
152 VM_REG_GUEST_R9,
1660 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R9, zero)) != 0) in vcpu_reset()
2084 case VM_REG_GUEST_R9: in swctx_regptr()
678 error = vm_get_register(vcpu, VM_REG_GUEST_R9, &r9); in get_all_registers()
3061 case VM_REG_GUEST_R9: in vmxctx_regptr()
415 VM_REG_GUEST_R9, enumerator
3044 VM_REG_GUEST_R9, in vcpu_arch_reset() enumerator