7161 uefi reboot needs to use acpi_reset_system() if available
commit7d3321ee71cf6a0555699aa14aad6e5a5ab6bd7c
authorToomas Soome <tsoome@me.com>
Sat, 2 Jul 2016 11:35:42 +0000 (2 14:35 +0300)
committerRichard Lowe <richlowe@richlowe.net>
Thu, 7 Jul 2016 19:57:42 +0000 (7 15:57 -0400)
treeb924dbb14663ee3629d6410cdb314e0abbe4f5f9
parent4520d59fda389ed57a633978297f35ae1e5c37b8
7161 uefi reboot needs to use acpi_reset_system() if available
Reviewed by: Andrew Stormont <andyjstormont@gmail.com>
Reviewed by: Robert Mustacchi <rm@joyent.com>
Approved by: Richard Lowe <richlowe@richlowe.net>
usr/src/uts/i86pc/os/machdep.c