140 	register uintptr_t r3 __asm__("r3");  in ev_int_set_config()
146 	r3  = interrupt;  in ev_int_set_config()
152 		: "+r" (r11), "+r" (r3), "+r" (r4), "+r" (r5), "+r" (r6)  in ev_int_set_config()
156 	return r3;  in ev_int_set_config()
172 	register uintptr_t r3 __asm__("r3");  in ev_int_get_config()
178 	r3 = interrupt;  in ev_int_get_config()
181 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5), "=r" (r6)  in ev_int_get_config()
189 	return r3;  in ev_int_get_config()
203 	register uintptr_t r3 __asm__("r3");  in ev_int_set_mask()
207 	r3 = interrupt;  in ev_int_set_mask()
211 		: "+r" (r11), "+r" (r3), "+r" (r4)  in ev_int_set_mask()
215 	return r3;  in ev_int_set_mask()
229 	register uintptr_t r3 __asm__("r3");  in ev_int_get_mask()
233 	r3 = interrupt;  in ev_int_get_mask()
236 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_get_mask()
242 	return r3;  in ev_int_get_mask()
258 	register uintptr_t r3 __asm__("r3");  in ev_int_eoi()
261 	r3 = interrupt;  in ev_int_eoi()
264 		: "+r" (r11), "+r" (r3)  in ev_int_eoi()
268 	return r3;  in ev_int_eoi()
286 	register uintptr_t r3 __asm__("r3");  in ev_byte_channel_send()
295 	r3 = handle;  in ev_byte_channel_send()
303 		: "+r" (r11), "+r" (r3),  in ev_byte_channel_send()
310 	return r3;  in ev_byte_channel_send()
329 	register uintptr_t r3 __asm__("r3");  in ev_byte_channel_receive()
338 	r3 = handle;  in ev_byte_channel_receive()
342 		: "+r" (r11), "+r" (r3), "+r" (r4),  in ev_byte_channel_receive()
353 	return r3;  in ev_byte_channel_receive()
372 	register uintptr_t r3 __asm__("r3");  in ev_byte_channel_poll()
377 	r3 = handle;  in ev_byte_channel_poll()
380 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5)  in ev_byte_channel_poll()
387 	return r3;  in ev_byte_channel_poll()
406 	register uintptr_t r3 __asm__("r3");  in ev_int_iack()
410 	r3 = handle;  in ev_int_iack()
413 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_iack()
419 	return r3;  in ev_int_iack()
431 	register uintptr_t r3 __asm__("r3");  in ev_doorbell_send()
434 	r3 = handle;  in ev_doorbell_send()
437 		: "+r" (r11), "+r" (r3)  in ev_doorbell_send()
441 	return r3;  in ev_doorbell_send()
452 	register uintptr_t r3 __asm__("r3");  in ev_idle()
457 		: "+r" (r11), "=r" (r3)  in ev_idle()
461 	return r3;  in ev_idle()
470 	unsigned long register r3 asm("r3") = in[0];  in epapr_hypercall()
482 		     : "=r"(r0), "=r"(r3), "=r"(r4), "=r"(r5), "=r"(r6),  in epapr_hypercall()
485 		     : "r"(r3), "r"(r4), "r"(r5), "r"(r6), "r"(r7), "r"(r8),  in epapr_hypercall()
498 	return r3;  in epapr_hypercall()