Symbol: INTFBPADDR
drivers/video/fbdev/hpfb.c
410
if (!request_mem_region(INTFBPADDR, DIO_DEVSIZE, "Internal Topcat"))
drivers/video/fbdev/hpfb.c
413
if (hpfb_init_one(INTFBPADDR, INTFBVADDR)) {