tag	line	file	source code
fptr	40	kernel/chr_drv/keyboard.c	typedef void (*fptr)(int);
fptr	44	kernel/chr_drv/keyboard.c	fptr key_table[];
fptr	1351	kernel/chr_drv/keyboard.c	static fptr key_table[] = {
fptr	210	net/tcp/we.c	unsigned char *fptr;
fptr	212	net/tcp/we.c	fptr = (unsigned char *)(ring +1);
fptr	220	net/tcp/we.c	return (dev_rint(fptr, len, 0, dev));