Searched refs:hostboot_option (Results 1 – 1 of 1) sorted by relevance
169 int hostboot_option = 0; in reboot_kernel() local318 hostboot_option = HOST_REBOOT_HALT; in reboot_kernel()322 hostboot_option = HOST_REBOOT_UPSDELAY; in reboot_kernel()325 host_reboot(host_priv_self(), hostboot_option); in reboot_kernel()