vga_readb        1145 drivers/video/console/vgacon.c 				arg[i] = vga_readb(charmap + i);
vga_readb        1164 drivers/video/console/vgacon.c 					arg[i] = vga_readb(charmap + i);