VIOSCSI_MAX_TARGET
target <= sc->vs_max_target && target < VIOSCSI_MAX_TARGET;
VIOSCSI_CHECK(max_target, <=, VIOSCSI_MAX_TARGET - 1);