kernel-aes67/include/asm-alpha/mutex.h