kernel-ark/drivers/isdn/hardware/eicon/os_bri.h