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