INTFBVADDR        405 drivers/video/fbdev/hpfb.c 	err = probe_kernel_read(&i, (unsigned char *)INTFBVADDR + DIO_IDOFF, 1);
INTFBVADDR        407 drivers/video/fbdev/hpfb.c 	if (!err && (i == DIO_ID_FBUFFER) && topcat_sid_ok(sid = DIO_SECID(INTFBVADDR))) {
INTFBVADDR        411 drivers/video/fbdev/hpfb.c 		if (hpfb_init_one(INTFBPADDR, INTFBVADDR)) {