1*67e74705SXin Li #include "a.h" 2*67e74705SXin Li 3*67e74705SXin Li struct X { 4*67e74705SXin Li mutex m; 5*67e74705SXin Li int n __attribute__((guarded_by(m))); 6*67e74705SXin Li 7*67e74705SXin Li void f(); 8*67e74705SXin Li }; 9*67e74705SXin Li unlock(X & x)10*67e74705SXin Liinline void unlock(X &x) __attribute__((unlock_function(x.m))) { x.m.unlock(); } 11