Searched refs:ThreadRole (Results 1 – 2 of 2) sorted by relevance
3 typedef int __attribute__((capability("role"))) ThreadRole; typedef27 ThreadRole GUI, Worker;
4614 typedef int __attribute__((capability("role"))) ThreadRole; typedef4616 void acquire(ThreadRole R) __attribute__((exclusive_lock_function(R))) __attribute__((no_thread_saf… in acquire()4617 void release(ThreadRole R) __attribute__((unlock_function(R))) __attribute__((no_thread_safety_anal… in release()4619 ThreadRole FlightControl, Logger;