diff options
| -rw-r--r-- | src/arch/x86/interface/pcbios/acpipwr.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/arch/x86/interface/pcbios/acpipwr.c b/src/arch/x86/interface/pcbios/acpipwr.c index 63b986b6..d19f972d 100644 --- a/src/arch/x86/interface/pcbios/acpipwr.c +++ b/src/arch/x86/interface/pcbios/acpipwr.c @@ -23,6 +23,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); +#include <unistd.h> #include <errno.h> #include <byteswap.h> #include <realmode.h> @@ -111,6 +112,11 @@ int acpi_poweroff ( void ) { ACPI_PM1_CNT_SLP_EN ), pm1b_cnt ); } + /* On some systems, execution will continue briefly. Delay to + * avoid potentially confusing log messages. + */ + mdelay ( 1000 ); + DBGC ( colour, "ACPI power off failed\n" ); return -EPROTO; } |