taglinefilesource code
grab_all_interrupts1332drivers/char/serial.cirq_lines = grab_all_interrupts(0);
grab_all_interrupts1842drivers/char/serial.cirq_lines = grab_all_interrupts(rs_wild_int_mask);