diff options
Diffstat (limited to 'hw/ipmi/ipmi-attn.c')
| -rw-r--r-- | hw/ipmi/ipmi-attn.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hw/ipmi/ipmi-attn.c b/hw/ipmi/ipmi-attn.c index ef7153ed..8ff872c6 100644 --- a/hw/ipmi/ipmi-attn.c +++ b/hw/ipmi/ipmi-attn.c @@ -67,7 +67,7 @@ void __attribute__((noreturn)) ipmi_terminate(const char *msg) { /* Terminate called before initializing IPMI (early abort) */ if (!ipmi_present()) { - if (platform.cec_reboot()) + if (platform.cec_reboot) platform.cec_reboot(); goto out; } @@ -76,7 +76,7 @@ void __attribute__((noreturn)) ipmi_terminate(const char *msg) ipmi_log_terminate_event(msg); /* Reboot call */ - if (platform.cec_reboot()) + if (platform.cec_reboot) platform.cec_reboot(); out: |
