path: root/src/mainboard/intel/xe7501devkit/reset.c

void hard_reset(void)
{
	i82801ca_hard_reset();
}