Lines Matching refs:r
58 object_put(type, result.r); in hypercall_vcpu_configure()
62 thread_t *vcpu = result.r.thread; in hypercall_vcpu_configure()
97 thread_t *vcpu = result.r; in hypercall_vcpu_register_write()
119 thread_t *vcpu = result.r; in hypercall_vcpu_bind_virq()
127 vic_t *vic = v.r; in hypercall_vcpu_bind_virq()
150 thread_t *vcpu = result.r; in hypercall_vcpu_unbind_virq()
190 thread_t *vcpu = result.r;
237 thread_t *vcpu = result.r;
255 reschedule = poweron_result.r;
292 thread_t *vcpu = result.r;
328 thread_t *vcpu = result.r;
371 thread_t *vcpu = result.r;
408 thread_t *vcpu = result.r;