diff --git a/arch/x86/platform/uv/uv_nmi.c b/arch/x86/platform/uv/uv_nmi.c index 5c50e550ab63..565ab43fa6b4 100644 --- a/arch/x86/platform/uv/uv_nmi.c +++ b/arch/x86/platform/uv/uv_nmi.c @@ -18,6 +18,7 @@ #include #include #include +#include #include #include @@ -340,7 +341,7 @@ static void uv_nmi_setup_hubless_intr(void) uv_pch_intr_now_enabled ? GPIROUTNMI : 0); nmi_debug("UV:NMI: GPP_D_0 interrupt %s\n", - uv_pch_intr_now_enabled ? "enabled" : "disabled"); + str_enabled_disabled(uv_pch_intr_now_enabled)); } static struct init_nmi {