Searched defs:VM_REG_GUEST_R13 (Results 1 – 3 of 3) sorted by relevance
71 VM_REG_GUEST_R13, enumerator
422 VM_REG_GUEST_R13, enumerator
3043 VM_REG_GUEST_R13, in vcpu_arch_reset() enumerator