tag	line	file	source code
ios	45	arch/i386/kernel/ioport.c	printk("%s ", ios(current->tss.io_bitmap[j++]));
ios	47	arch/i386/kernel/ioport.c	printk("%s", ios(current->tss.io_bitmap[j++]));