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