EV_HCALL_TOKEN
r11 = EV_HCALL_TOKEN(EV_INT_SET_CONFIG);
r11 = EV_HCALL_TOKEN(EV_INT_GET_CONFIG);
r11 = EV_HCALL_TOKEN(EV_INT_SET_MASK);
r11 = EV_HCALL_TOKEN(EV_INT_GET_MASK);
r11 = EV_HCALL_TOKEN(EV_INT_EOI);
r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_SEND);
r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_RECEIVE);
r11 = EV_HCALL_TOKEN(EV_BYTE_CHANNEL_POLL);
r11 = EV_HCALL_TOKEN(EV_INT_IACK);
r11 = EV_HCALL_TOKEN(EV_DOORBELL_SEND);
r11 = EV_HCALL_TOKEN(EV_IDLE);
case EV_HCALL_TOKEN(EV_IDLE):