execute_control interface is implemented by CPUs
and devices that support threading.
Warning: This interface is currently considered tech-preview and can be changed at any time.
SIM_INTERFACE(execute_control) {
void (*message_pending)(conf_object_t *obj);
void (*yield_request)(conf_object_t *obj);
};
#define EXECUTE_CONTROL_INTERFACE "execute_control"