taglinefilesource code
insert_char1265drivers/char/console.cinsert_char(currcons);
insert_char1508drivers/char/console.cinsert_char(currcons);