ivpu_get_platform
return ivpu_get_platform(vdev) == IVPU_PLATFORM_SILICON;
return ivpu_get_platform(vdev) == IVPU_PLATFORM_SIMICS;
return ivpu_get_platform(vdev) == IVPU_PLATFORM_FPGA ||
ivpu_get_platform(vdev) == IVPU_PLATFORM_HSLE;