taglinefilesource code
aux_present127drivers/char/psaux.cstatic int aux_present = 0;
aux_present306drivers/char/psaux.cif (!aux_present)
aux_present500drivers/char/psaux.caux_present = 1;