96a388de5dc5
1 2 3 4 5
#ifdef CONFIG_X86_32 # include "mutex_32.h" #else # include "mutex_64.h" #endif