install_cpu_nmi_handler
extern void install_cpu_nmi_handler(int slice);
install_cpu_nmi_handler(cputoslice(cpu));