/* Global kernel interface to tell the VSP object in the primary partition to power this partition off.  */
void mf_power_off(void)
/* Global kernel interface to tell the VSP object in the primary partition to power this partition off.  */
void mf_power_off(void)
{
	printk(KERN_INFO "mf.c: Down it goes...\n");
	signal_ce_msg_simple(0x4d, NULL);
	for (;;)
		;
}