182 	register uintptr_t r11 __asm__("r11");  in ev_int_set_config()
188 	r11 = EV_HCALL_TOKEN(EV_INT_SET_CONFIG);  in ev_int_set_config()
195 		: "+r" (r11), "+r" (r3), "+r" (r4), "+r" (r5), "+r" (r6)  in ev_int_set_config()
214 	register uintptr_t r11 __asm__("r11");  in ev_int_get_config()
220 	r11 = EV_HCALL_TOKEN(EV_INT_GET_CONFIG);  in ev_int_get_config()
224 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5), "=r" (r6)  in ev_int_get_config()
245 	register uintptr_t r11 __asm__("r11");  in ev_int_set_mask()
249 	r11 = EV_HCALL_TOKEN(EV_INT_SET_MASK);  in ev_int_set_mask()
254 		: "+r" (r11), "+r" (r3), "+r" (r4)  in ev_int_set_mask()
271 	register uintptr_t r11 __asm__("r11");  in ev_int_get_mask()
275 	r11 = EV_HCALL_TOKEN(EV_INT_GET_MASK);  in ev_int_get_mask()
279 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_get_mask()
300 	register uintptr_t r11 __asm__("r11");  in ev_int_eoi()
303 	r11 = EV_HCALL_TOKEN(EV_INT_EOI);  in ev_int_eoi()
307 		: "+r" (r11), "+r" (r3)  in ev_int_eoi()
328 	register uintptr_t r11 __asm__("r11");  in ev_byte_channel_send()
337 	r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_SEND);  in ev_byte_channel_send()
346 		: "+r" (r11), "+r" (r3),  in ev_byte_channel_send()
371 	register uintptr_t r11 __asm__("r11");  in ev_byte_channel_receive()
380 	r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_RECEIVE);  in ev_byte_channel_receive()
385 		: "+r" (r11), "+r" (r3), "+r" (r4),  in ev_byte_channel_receive()
414 	register uintptr_t r11 __asm__("r11");  in ev_byte_channel_poll()
419 	r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_POLL);  in ev_byte_channel_poll()
423 		: "+r" (r11), "+r" (r3), "=r" (r4), "=r" (r5)  in ev_byte_channel_poll()
448 	register uintptr_t r11 __asm__("r11");  in ev_int_iack()
452 	r11 = EV_HCALL_TOKEN(EV_INT_IACK);  in ev_int_iack()
456 		: "+r" (r11), "+r" (r3), "=r" (r4)  in ev_int_iack()
473 	register uintptr_t r11 __asm__("r11");  in ev_doorbell_send()
476 	r11 = EV_HCALL_TOKEN(EV_DOORBELL_SEND);  in ev_doorbell_send()
480 		: "+r" (r11), "+r" (r3)  in ev_doorbell_send()
494 	register uintptr_t r11 __asm__("r11");  in ev_idle()
497 	r11 = EV_HCALL_TOKEN(EV_IDLE);  in ev_idle()
500 		: "+r" (r11), "=r" (r3)  in ev_idle()