Searched refs:VM_REG_GUEST_R13 (Results 1 – 7 of 7) sorted by relevance
547 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R13, zero)) != 0) in vcpu_reset()
68 VM_REG_GUEST_R13, enumerator
166 { .id = VM_REG_GUEST_R13, .size = 8 },
613 error = vm_get_register(vcpu, VM_REG_GUEST_R13, &r13); in get_all_registers()
276 VM_REG_GUEST_R13, enumerator
2294 case VM_REG_GUEST_R13: in swctx_regptr()
3286 case VM_REG_GUEST_R13: in vmxctx_regptr()