poweroff: add a config option for people needing VERY early poweroff
authorDenys Vlasenko <vda.linux@googlemail.com>
Mon, 19 Feb 2018 14:52:35 +0000 (15:52 +0100)
committerDenys Vlasenko <vda.linux@googlemail.com>
Mon, 19 Feb 2018 14:52:35 +0000 (15:52 +0100)
commit95121d98e6da12599246d8e25c3f300e422a06fb
treedcdb5306ba795ceccb9c435967ff535a949c3422
parent7398892ac0592999397532ba168376edd402438c
poweroff: add a config option for people needing VERY early poweroff

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
init/halt.c