Searched refs:MutexUnion (Results 1 – 2 of 2) sorted by relevance
8 union __attribute__((capability("mutex"))) MutexUnion { int a; char* b; }; union
5165 union LOCKABLE MutexUnion { union5173 MutexUnion muun2;5174 MutexUnion muun1 ACQUIRED_BEFORE(muun2);