/* Save the nmi cpu registers for all cpus in the system.  */
void nmi_eframes_save(void)
/* Save the nmi cpu registers for all cpus in the system.  */
void nmi_eframes_save(void)
{
	cnodeid_t	cnode;
	for_each_online_node(cnode)
		nmi_node_eframe_save(cnode);
}