aux1_raw         1746 drivers/mfd/ab8500-debugfs.c 	int aux1_raw;
aux1_raw         1751 drivers/mfd/ab8500-debugfs.c 	aux1_raw = ab8500_gpadc_read_raw(gpadc, ADC_AUX1,
aux1_raw         1754 drivers/mfd/ab8500-debugfs.c 		aux1_raw);
aux1_raw         1756 drivers/mfd/ab8500-debugfs.c 	seq_printf(s, "%d,0x%X\n", aux1_convert, aux1_raw);