FIXME            3423 drivers/isdn/hardware/mISDN/hfcmulti.c #ifdef FIXME
FIXME            1635 drivers/isdn/hardware/mISDN/hfcpci.c #ifdef FIXME
FIXME             342 drivers/isdn/hardware/mISDN/hfcsusb.c #ifdef FIXME
FIXME             314 drivers/isdn/hardware/mISDN/w6692.c #ifdef FIXME
FIXME            1103 drivers/parisc/sba_iommu.c 	FIXME : ???
FIXME            1107 drivers/parisc/sba_iommu.c 	FIXME : ???
FIXME             738 drivers/video/fbdev/aty/atyfb_base.c 	FIXME
FIXME             498 drivers/video/fbdev/aty/mach64_ct.c 	FIXME: is it relevant for us?
FIXME             816 drivers/video/fbdev/stifb.c XXX: FIXME: !!!