This does the following:

[coreboot.git] / src / mainboard / intel / xe7501devkit / reset.c

void i82801cx_hard_reset(void);

void hard_reset(void)
{
        i82801cx_hard_reset();
}