scf_is_fastboot_default
fast_reboot = scf_is_fastboot_default();
if (scf_is_fastboot_default() && getzoneid() == GLOBAL_ZONEID)
int scf_is_fastboot_default(void);