139 	register uintptr_t r11 __asm__("r11");  in ev_int_set_config()
145 	r11 = EV_HCALL_TOKEN(EV_INT_SET_CONFIG);  in ev_int_set_config()
152 		: "+r" (r11), "+r" (r3), "+r" (r4), "+r" (r5), "+r" (r6)  in ev_int_set_config()
171 	register uintptr_t r11 __asm__("r11");  in ev_int_get_config()
177 	r11 = EV_HCALL_TOKEN(EV_INT_GET_CONFIG);  in ev_int_get_config()
181 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5), "=r" (r6)  in ev_int_get_config()
202 	register uintptr_t r11 __asm__("r11");  in ev_int_set_mask()
206 	r11 = EV_HCALL_TOKEN(EV_INT_SET_MASK);  in ev_int_set_mask()
211 		: "+r" (r11), "+r" (r3), "+r" (r4)  in ev_int_set_mask()
228 	register uintptr_t r11 __asm__("r11");  in ev_int_get_mask()
232 	r11 = EV_HCALL_TOKEN(EV_INT_GET_MASK);  in ev_int_get_mask()
236 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_get_mask()
257 	register uintptr_t r11 __asm__("r11");  in ev_int_eoi()
260 	r11 = EV_HCALL_TOKEN(EV_INT_EOI);  in ev_int_eoi()
264 		: "+r" (r11), "+r" (r3)  in ev_int_eoi()
285 	register uintptr_t r11 __asm__("r11");  in ev_byte_channel_send()
294 	r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_SEND);  in ev_byte_channel_send()
303 		: "+r" (r11), "+r" (r3),  in ev_byte_channel_send()
328 	register uintptr_t r11 __asm__("r11");  in ev_byte_channel_receive()
337 	r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_RECEIVE);  in ev_byte_channel_receive()
342 		: "+r" (r11), "+r" (r3), "+r" (r4),  in ev_byte_channel_receive()
371 	register uintptr_t r11 __asm__("r11");  in ev_byte_channel_poll()
376 	r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_POLL);  in ev_byte_channel_poll()
380 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5)  in ev_byte_channel_poll()
405 	register uintptr_t r11 __asm__("r11");  in ev_int_iack()
409 	r11 = EV_HCALL_TOKEN(EV_INT_IACK);  in ev_int_iack()
413 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_iack()
430 	register uintptr_t r11 __asm__("r11");  in ev_doorbell_send()
433 	r11 = EV_HCALL_TOKEN(EV_DOORBELL_SEND);  in ev_doorbell_send()
437 		: "+r" (r11), "+r" (r3)  in ev_doorbell_send()
451 	register uintptr_t r11 __asm__("r11");  in ev_idle()
454 	r11 = EV_HCALL_TOKEN(EV_IDLE);  in ev_idle()
457 		: "+r" (r11), "=r" (r3)  in ev_idle()
478 	register unsigned long r11 asm("r11") = nr;  in epapr_hypercall()
483 		       "=r"(r7), "=r"(r8), "=r"(r9), "=r"(r10), "=r"(r11),  in epapr_hypercall()
486 		       "r"(r9), "r"(r10), "r"(r11)  in epapr_hypercall()
496 	out[7] = r11;  in epapr_hypercall()