Searched refs:dispatch_log (Results 1 – 1 of 1) sorted by relevance
4626 void dispatch_log(const char *msg) __attribute__((requires_capability(!FlightControl))) {} in dispatch_log() function4630 …dispatch_log("wrong"); /* expected-warning {{cannot call function 'dispatch_log' while mutex 'Flig… in flight_control_entry()4645 dispatch_log(msg); in logger_entry()