aux2_convert     1766 drivers/mfd/ab8500-debugfs.c 	int aux2_convert;
aux2_convert     1772 drivers/mfd/ab8500-debugfs.c 	aux2_convert = ab8500_gpadc_ad_to_voltage(gpadc, ADC_AUX2,
aux2_convert     1775 drivers/mfd/ab8500-debugfs.c 	seq_printf(s, "%d,0x%X\n", aux2_convert, aux2_raw);