original_kernel/drivers/isdn/hardware/eicon/os_pri.h