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