its_send_sync_cmd
its_send_sync_cmd(test_data.cmdq_base_va, cpuid);
void its_send_sync_cmd(void *cmdq_base, u32 vcpu_id);