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));