taglinefilesource code
get_auto_irq1429kernel/chr_drv/serial.cscratch = get_auto_irq(info);
get_auto_irq1431kernel/chr_drv/serial.cscratch2 = get_auto_irq(info);