Searched refs:ThreadRole (Results 1 – 2 of 2) sorted by relevance
3 typedef int __attribute__((capability("role"))) ThreadRole; typedef27 ThreadRole GUI, Worker;
5252 typedef int __attribute__((capability("role"))) ThreadRole; typedef5254 void acquire(ThreadRole R) EXCLUSIVE_LOCK_FUNCTION(R) NO_THREAD_SAFETY_ANALYSIS {} in acquire()5255 void release(ThreadRole R) UNLOCK_FUNCTION(R) NO_THREAD_SAFETY_ANALYSIS {} in release()5257 ThreadRole FlightControl, Logger;