Searched refs:FlightControl (Results 1 – 1 of 1) sorted by relevance
4619 ThreadRole FlightControl, Logger; variable4626 void dispatch_log(const char *msg) __attribute__((requires_capability(!FlightControl))) {} in dispatch_log()4629 void flight_control_entry(void) __attribute__((requires_capability(FlightControl))) { in flight_control_entry()4635 acquire(FlightControl); in spawn_fake_flight_control_thread()4637 release(FlightControl); in spawn_fake_flight_control_thread()