#ifdef CONFIG_X86_32 # include <asm/mutex_32.h> #else # include <asm/mutex_64.h> #endif