efx_mcdi_do_reboot
return (efx_mcdi_do_reboot(enp, B_FALSE));
return (efx_mcdi_do_reboot(enp, B_TRUE));