/* Support for TX4938 in 2.6 - Manish Lachwani ( */
static void rbtx4938_machine_restart(char *command)
/* Support for TX4938 in 2.6 - Manish Lachwani ( */
static void rbtx4938_machine_restart(char *command)
{
	local_irq_disable();
	writeb(1, rbtx4938_softresetlock_addr);
	writeb(1, rbtx4938_sfvol_addr);
	writeb(1, rbtx4938_softreset_addr);
	(*_machine_halt)();
}