Lines Matching refs:EV_HCALL_TOKEN
145 r11 = EV_HCALL_TOKEN(EV_INT_SET_CONFIG); in ev_int_set_config()
177 r11 = EV_HCALL_TOKEN(EV_INT_GET_CONFIG); in ev_int_get_config()
206 r11 = EV_HCALL_TOKEN(EV_INT_SET_MASK); in ev_int_set_mask()
232 r11 = EV_HCALL_TOKEN(EV_INT_GET_MASK); in ev_int_get_mask()
260 r11 = EV_HCALL_TOKEN(EV_INT_EOI); in ev_int_eoi()
294 r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_SEND); in ev_byte_channel_send()
337 r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_RECEIVE); in ev_byte_channel_receive()
376 r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_POLL); in ev_byte_channel_poll()
409 r11 = EV_HCALL_TOKEN(EV_INT_IACK); in ev_int_iack()
433 r11 = EV_HCALL_TOKEN(EV_DOORBELL_SEND); in ev_doorbell_send()
454 r11 = EV_HCALL_TOKEN(EV_IDLE); in ev_idle()