tag	line	file	source code
DE600_IO	141	drivers/net/de600.c	#ifndef DE600_IO
DE600_IO	145	drivers/net/de600.c	#define DATA_PORT  (DE600_IO)
DE600_IO	146	drivers/net/de600.c	#define STATUS_PORT  (DE600_IO + 1)
DE600_IO	147	drivers/net/de600.c	#define COMMAND_PORT  (DE600_IO + 2)
DE600_IO	691	drivers/net/de600.c	if (check_region(DE600_IO, 3)) {
DE600_IO	692	drivers/net/de600.c	printk(", port 0x%x busy\n", DE600_IO);
DE600_IO	696	drivers/net/de600.c	request_region(DE600_IO, 3, "de600");
DE600_IO	847	drivers/net/de600.c	release_region(DE600_IO, 3);