AT91_SHDW_CPTWK0_MAX   30 drivers/power/reset/at91-poweroff.c #define AT91_SHDW_CPTWK0	(AT91_SHDW_CPTWK0_MAX << 4) /* Counter On Wake Up 0 */
AT91_SHDW_CPTWK0_MAX  134 drivers/power/reset/at91-poweroff.c 		if (tmp > AT91_SHDW_CPTWK0_MAX) {
AT91_SHDW_CPTWK0_MAX  137 drivers/power/reset/at91-poweroff.c 				 tmp, AT91_SHDW_CPTWK0_MAX, AT91_SHDW_CPTWK0_MAX);
AT91_SHDW_CPTWK0_MAX  138 drivers/power/reset/at91-poweroff.c 			tmp = AT91_SHDW_CPTWK0_MAX;