Lines Matching defs:Logger
4619 ThreadRole FlightControl, Logger;
4627 void dispatch_log2(const char *msg) __attribute__((requires_capability(Logger))) {}
4631 dispatch_log2("also wrong"); /* expected-warning {{calling function 'dispatch_log2' requires holding role 'Logger' exclusively}} */
4640 extern const char *deque_log_msg(void) __attribute__((requires_capability(Logger)));
4641 void logger_entry(void) __attribute__((requires_capability(Logger))) {
4650 acquire(Logger);
4652 release(Logger);
