PAGING            459 drivers/net/ethernet/hp/hp100.c 	chip = hp100_inw(PAGING) & HP100_CHIPID_MASK;
PAGING           2789 drivers/net/ethernet/hp/hp100.c 	printk("hardware id #2/paging: 0x%.2x\n", hp100_inb(PAGING));