BOOT_SPLASH_STAGE_MAX
if (sInfo == NULL || stage < 0 || stage >= BOOT_SPLASH_STAGE_MAX)
int stageLeftEdge = width * stage / BOOT_SPLASH_STAGE_MAX;
int stageRightEdge = width * (stage + 1) / BOOT_SPLASH_STAGE_MAX;