original_kernel/include/asm-s390/ipc.h