#include <arch/romcc_io.h>

static void mch_reset(void)
{
        return;
}



static void mainboard_set_e7520_pll(unsigned bits)
{
	return;
}


static void mainboard_set_e7520_leds(void)
{
	return;
}




