android_kernel_xiaomi_sm8350/arch/s390/include/asm/mutex.h