tag	line	file	source code
DISABLE_IRQs	403	drivers/net/ewrk3.c	DISABLE_IRQs;
DISABLE_IRQs	587	drivers/net/ewrk3.c	DISABLE_IRQs;                 /* Mask all interrupts */
DISABLE_IRQs	764	drivers/net/ewrk3.c	DISABLE_IRQs;
DISABLE_IRQs	792	drivers/net/ewrk3.c	DISABLE_IRQs;                      /* So that the page # remains correct */
DISABLE_IRQs	919	drivers/net/ewrk3.c	DISABLE_IRQs;
DISABLE_IRQs	1155	drivers/net/ewrk3.c	DISABLE_IRQs;