Searched refs:VM_REG_GUEST_R15 (Results 1 – 9 of 9) sorted by relevance
73 VM_REG_GUEST_R15, enumerator
443 VM_REG_GUEST_R15, /* KDIREG_R15 */
170 { .id = VM_REG_GUEST_R15, .size = 8 },
2101 case VM_REG_GUEST_R15: in swctx_regptr()
537 error = vm_get_register(vcpu, VM_REG_GUEST_R15, &r15); in get_all_registers()
1681 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R15, zero)) != 0) in vcpu_reset()
3073 case VM_REG_GUEST_R15: in vmxctx_regptr()
421 VM_REG_GUEST_R15 enumerator
3050 VM_REG_GUEST_R15, in vcpu_arch_reset() enumerator