FH_HCALL_TOKEN
r11 = FH_HCALL_TOKEN(FH_PARTITION_GET_DTPROP);
r11 = FH_HCALL_TOKEN(FH_PARTITION_SET_DTPROP);
r11 = FH_HCALL_TOKEN(FH_PARTITION_RESTART);
r11 = FH_HCALL_TOKEN(FH_PARTITION_GET_STATUS);
r11 = FH_HCALL_TOKEN(FH_PARTITION_START);
r11 = FH_HCALL_TOKEN(FH_PARTITION_STOP);
r11 = FH_HCALL_TOKEN(FH_PARTITION_MEMCPY);
r11 = FH_HCALL_TOKEN(FH_DMA_ENABLE);
r11 = FH_HCALL_TOKEN(FH_DMA_DISABLE);
r11 = FH_HCALL_TOKEN(FH_VMPIC_GET_MSIR);
r11 = FH_HCALL_TOKEN(FH_SYSTEM_RESET);
r11 = FH_HCALL_TOKEN(FH_ERR_GET_INFO);
r11 = FH_HCALL_TOKEN(FH_GET_CORE_STATE);
r11 = FH_HCALL_TOKEN(FH_ENTER_NAP);
r11 = FH_HCALL_TOKEN(FH_EXIT_NAP);
r11 = FH_HCALL_TOKEN(FH_CLAIM_DEVICE);
r11 = FH_HCALL_TOKEN(FH_PARTITION_STOP_DMA);
r11 = FH_HCALL_TOKEN(FH_SEND_NMI);