linux-stable-rt/drivers/isdn/hardware/eicon/os_4bri.h