root/sys/arch/armv7/include/mplock.h 
/*      $OpenBSD: mplock.h,v 1.1 2018/08/06 18:39:13 kettenis Exp $     */

#include <arm/mplock.h>