tag	line	file	source code
EL3_IO_EXTENT	237	drivers/net/3c509.c	request_region(dev->base_addr, EL3_IO_EXTENT, "3c509");
EL3_IO_EXTENT	744	drivers/net/3c509.c	release_region(dev_3c509.base_addr, EL3_IO_EXTENT);