root/sys/arch/octeon/include/mutex.h 
/*      $OpenBSD: mutex.h,v 1.3 2015/07/08 13:37:31 dlg Exp $   */

#include <mips64/mutex.h>