/* Return non-zero if the CPU has been warm reset  */
int cpu_has_been_warmreset(void)
/* Return non-zero if the CPU has been warm reset  */
int cpu_has_been_warmreset(void)
{
	return readl(&reset_manager_base->status) &
		RSTMGR_L4WD_MPU_WARMRESET_MASK;
}