INTFBPADDR        408 drivers/video/fbdev/hpfb.c 		if (!request_mem_region(INTFBPADDR, DIO_DEVSIZE, "Internal Topcat"))
INTFBPADDR        411 drivers/video/fbdev/hpfb.c 		if (hpfb_init_one(INTFBPADDR, INTFBVADDR)) {