tag	line	file	source code
port_read	342	kernel/blk_drv/hd.c	port_read(HD_DATA,CURRENT->buffer,256);
port_read	36	net/inet/3c509.c	#ifndef port_read
port_read	24	net/inet/hp.c	#ifndef port_read
port_read	219	net/inet/hp.c	port_read(nic_base - NIC_OFFSET + HP_DATAPORT,buf,count>>1);
port_read	28	net/inet/ne.c	#ifndef port_read
port_read	308	net/inet/ne.c	port_read(NE_BASE + NE_DATAPORT,buf,count>>1);