7161 uefi reboot needs to use acpi_reset_system() if available
[unleashed.git] / usr / 
tree15ba20c73732258a3b83cf5babc541f486fef58c
drwxr-xr-x   ..
drwxr-xr-x - src