tag	line	file	source code
readw	122	drivers/char/console.c	return readw((unsigned long) addr);
readw	733	drivers/char/console.c	writew(readw(s++),d++);
readw	763	drivers/char/console.c	writew(readw(s++), d++);
readw	785	drivers/char/console.c	writew(readw(--s), --d);
readw	1092	drivers/char/console.c	unsigned short old = readw(p);
readw	1097	drivers/char/console.c	unsigned short old = readw(p);
readw	1204	drivers/char/console.c	tmp = readw(p);
readw	1224	drivers/char/console.c	writew(readw(p+1), p);