nmi_init
int __init nmi_init(void);
return nmi_init();
void (*nmi_init)(void);
x86_platform.nmi_init = uv_nmi_init;
x86_platform.nmi_init();
.nmi_init = default_nmi_init,