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