141 	register uintptr_t r4 __asm__("r4");  in ev_int_set_config()
147 	r4  = config;  in ev_int_set_config()
152 		: "+r" (r11), "+r" (r3), "+r" (r4), "+r" (r5), "+r" (r6)  in ev_int_set_config()
173 	register uintptr_t r4 __asm__("r4");  in ev_int_get_config()
181 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5), "=r" (r6)  in ev_int_get_config()
185 	*config = r4;  in ev_int_get_config()
204 	register uintptr_t r4 __asm__("r4");  in ev_int_set_mask()
208 	r4 = mask;  in ev_int_set_mask()
211 		: "+r" (r11), "+r" (r3), "+r" (r4)  in ev_int_set_mask()
230 	register uintptr_t r4 __asm__("r4");  in ev_int_get_mask()
236 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_get_mask()
240 	*mask = r4;  in ev_int_get_mask()
287 	register uintptr_t r4 __asm__("r4");  in ev_byte_channel_send()
296 	r4 = *count;  in ev_byte_channel_send()
304 		  "+r" (r4), "+r" (r5), "+r" (r6), "+r" (r7), "+r" (r8)  in ev_byte_channel_send()
308 	*count = r4;  in ev_byte_channel_send()
330 	register uintptr_t r4 __asm__("r4");  in ev_byte_channel_receive()
339 	r4 = *count;  in ev_byte_channel_receive()
342 		: "+r" (r11), "+r" (r3), "+r" (r4),  in ev_byte_channel_receive()
347 	*count = r4;  in ev_byte_channel_receive()
373 	register uintptr_t r4 __asm__("r4");  in ev_byte_channel_poll()
380 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5)  in ev_byte_channel_poll()
384 	*rx_count = r4;  in ev_byte_channel_poll()
407 	register uintptr_t r4 __asm__("r4");  in ev_int_iack()
413 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_iack()
417 	*vector = r4;  in ev_int_iack()
471 	unsigned long register r4 asm("r4") = in[1];  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()
489 	out[0] = r4;  in epapr_hypercall()