Searched refs:dispatch_log2 (Results 1 – 1 of 1) sorted by relevance
4627 void dispatch_log2(const char *msg) __attribute__((requires_capability(Logger))) {} in dispatch_log2() function4631 …dispatch_log2("also wrong"); /* expected-warning {{calling function 'dispatch_log2' requires holdi… in flight_control_entry()