BE_NEXTBOOT_SET
nextboot = BE_NEXTBOOT_SET;
if (nextboot == BE_NEXTBOOT_SET && getzoneid() != GLOBAL_ZONEID)
case BE_NEXTBOOT_SET: