microcode_offline_nmi_handler
void microcode_offline_nmi_handler(void);
microcode_offline_nmi_handler();