Searched refs:FlightControl (Results 1 – 1 of 1) sorted by relevance
5257 ThreadRole FlightControl, Logger; variable5264 void dispatch_log(const char *msg) __attribute__((requires_capability(!FlightControl))) {} in dispatch_log()5267 void flight_control_entry(void) __attribute__((requires_capability(FlightControl))) { in flight_control_entry()5273 acquire(FlightControl); in spawn_fake_flight_control_thread()5275 release(FlightControl); in spawn_fake_flight_control_thread()5280 __attribute__((requires_capability(!FlightControl))) { in logger_entry()5288 void spawn_fake_logger_thread(void) __attribute__((requires_capability(!FlightControl))) { in spawn_fake_logger_thread()5294 int main(void) __attribute__((requires_capability(!FlightControl))) { in main()