pvr_mmu_flush_exec
err = pvr_mmu_flush_exec(pvr_dev, false);
pvr_mmu_flush_exec(op_ctx->mmu_ctx->pvr_dev, true);
int pvr_mmu_flush_exec(struct pvr_device *pvr_dev, bool wait);
WARN_ON(pvr_mmu_flush_exec(pvr_dev, true));
WARN_ON(pvr_mmu_flush_exec(pvr_dev, true));