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