microcode_nmi_handler_enabled
if (microcode_nmi_handler_enabled() && microcode_nmi_handler())
if (microcode_nmi_handler_enabled())