taglinefilesource code
IO_CONFIGURATION_3192drivers/sound/pas2_card.cint_ptrs = pas_read (IO_CONFIGURATION_3);
IO_CONFIGURATION_3194drivers/sound/pas2_card.cpas_write (int_ptrs, IO_CONFIGURATION_3);