include/sel4utils/thread_config.h

26 /* Threads and processes use this struct as both need scheduling config parameters */
101 static inline sel4utils_thread_config_t thread_config_create_reply(sel4utils_thread_config_t config)
103     config.create_reply = true;
104     return config;
107 static inline sel4utils_thread_config_t thread_config_reply(sel4utils_thread_config_t config, seL4_CPtr reply)
109     config.create_reply = false;
110     config.reply = reply;
111     return config;
114 static inline sel4utils_thread_config_t thread_config_sched_context(sel4utils_thread_config_t config,
117     config.sched_params.create_sc = false;
118     config.sched_params.sched_context = sched_context;
119     return config;
122 static inline sel4utils_thread_config_t thread_config_cspace(sel4utils_thread_config_t config, seL4_CPtr cspace_root,
125     config.cspace = cspace_root;
126     config.cspace_root_data = cspace_root_data;
127     return config;
130 static inline sel4utils_thread_config_t thread_config_auth(sel4utils_thread_config_t config, seL4_CPtr tcb)
132     config.sched_params.auth = tcb;
133     return config;
138     sel4utils_thread_config_t config = {0};
140     config = thread_config_auth(config, simple_get_tcb(simple));
141     return thread_config_cspace(config, simple_get_cnode(simple), data);
144 static inline sel4utils_thread_config_t thread_config_priority(sel4utils_thread_config_t config, uint8_t priority)
146     config.sched_params.priority = priority;
147     return config;
150 static inline sel4utils_thread_config_t thread_config_mcp(sel4utils_thread_config_t config, uint8_t mcp)
152     config.sched_params.mcp = mcp;
153     return config;
156 static inline sel4utils_thread_config_t thread_config_stack_size(sel4utils_thread_config_t config, seL4_Word size)
158     config.stack_size = size;
159     config.custom_stack_size = true;
160     return config;
163 static inline sel4utils_thread_config_t thread_config_no_ipc_buffer(sel4utils_thread_config_t config)
165     config.no_ipc_buffer = true;
166     return config;
169 static inline sel4utils_thread_config_t thread_config_fault_endpoint(sel4utils_thread_config_t config,
172     config.fault_endpoint = fault_ep;
173     return config;
179     sel4utils_thread_config_t config = thread_config_new(simple);
180     config = thread_config_cspace(config, cnode, data);
181     config = thread_config_fault_endpoint(config, fault_ep);
182     config = thread_config_priority(config, prio);
185         config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
187     config = thread_config_create_reply(config);
188     return config;