acrn-kernel/arch/x86/include/asm/mutex.h