STANDBYWFI_STAT   250 arch/arm/mach-vexpress/spc.c 	ret = readl_relaxed(info->baseaddr + STANDBYWFI_STAT);
STANDBYWFI_STAT   253 arch/arm/mach-vexpress/spc.c 		 __func__, STANDBYWFI_STAT, ret, mask);