/* Reset the RTC. We set the date back to .  */
static int pl031_reset(struct udevice *dev)
/* Reset the RTC. We set the date back to .  */
static int pl031_reset(struct udevice *dev)
{
	pl031_write_reg(dev, RTC_LR, 0);
	return 0;
}