Searched refs:priority (Results 1 - 25 of 43) sorted by relevance

12

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dthread.h34 uint8_t priority; member in struct:proc_tcb
53 @param priority Priority of the thread.
58 int thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint,
H A Dthread.c19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, argument
32 thread->priority = priority;
40 priority, vspace->cspace.capPtr, vspace->cspaceGuardData,
H A Dprocess.h83 @param priority The priority that the process runs at.
89 int proc_config_new(struct proc_pcb *p, uint32_t pid, uint8_t priority, char *imageName,
107 @param priority The priority of the initial thread of the process to load.
114 int proc_load_direct(char *name, int priority, char *param, unsigned int parentPID,
141 /*! @brief Change the priority for a given process' thread.
142 @param p The process to change priority for.
143 @param tindex The thread index to change priority for.
144 @param priority Th
[all...]
H A Dprocess.c187 proc_config_new(struct proc_pcb *p, uint32_t pid, uint8_t priority, char *imageName, argument
238 error = thread_config(thread, priority, (vaddr_t) entryPoint, &p->vspace);
303 proc_load_direct(char *name, int priority, char *param, unsigned int parentPID, argument
319 int error = proc_config_new(pcb, npid, priority, name, systemCapabilitiesMask);
348 proc_nice(struct proc_pcb *p, int tindex, int priority) argument
357 int error = seL4_TCB_SetPriority(thread_tcb_obj(t), priority);
359 ROS_ERROR("proc_nice failed to set TCB priority.");
362 t->priority = priority;
562 /* Get the main thread of process to read its priority
[all...]
/seL4-refos-master/apps/process_server/src/system/process/
H A Dthread.h34 uint8_t priority; member in struct:proc_tcb
53 @param priority Priority of the thread.
58 int thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint,
H A Dthread.c19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, argument
32 thread->priority = priority;
40 priority, vspace->cspace.capPtr, vspace->cspaceGuardData,
H A Dprocess.h83 @param priority The priority that the process runs at.
89 int proc_config_new(struct proc_pcb *p, uint32_t pid, uint8_t priority, char *imageName,
107 @param priority The priority of the initial thread of the process to load.
114 int proc_load_direct(char *name, int priority, char *param, unsigned int parentPID,
141 /*! @brief Change the priority for a given process' thread.
142 @param p The process to change priority for.
143 @param tindex The thread index to change priority for.
144 @param priority Th
[all...]
H A Dprocess.c187 proc_config_new(struct proc_pcb *p, uint32_t pid, uint8_t priority, char *imageName, argument
238 error = thread_config(thread, priority, (vaddr_t) entryPoint, &p->vspace);
303 proc_load_direct(char *name, int priority, char *param, unsigned int parentPID, argument
319 int error = proc_config_new(pcb, npid, priority, name, systemCapabilitiesMask);
348 proc_nice(struct proc_pcb *p, int tindex, int priority) argument
357 int error = seL4_TCB_SetPriority(thread_tcb_obj(t), priority);
359 ROS_ERROR("proc_nice failed to set TCB priority.");
362 t->priority = priority;
562 /* Get the main thread of process to read its priority
[all...]
/seL4-refos-master/libs/libmuslc/src/misc/
H A Dsyslog.c82 static void _vsyslog(int priority, const char *message, va_list ap) argument
96 if (!(priority & LOG_FACMASK)) priority |= log_facility;
104 priority, timebuf, &hlen, log_ident, "["+!pid, pid, "]"+!pid);
125 void __vsyslog(int priority, const char *message, va_list ap) argument
128 if (!(log_mask & LOG_MASK(priority&7)) || (priority&~0x3ff)) return;
131 _vsyslog(priority, message, ap);
136 void syslog(int priority, const char *message, ...) argument
140 __vsyslog(priority, messag
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dparent.h44 * @param priority Server thread's priority.
50 uint8_t priority);
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dirq_server.h68 * @param[in] priority The priority of spawned threads
76 irq_server_t *irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority,
H A Dthread_config.h28 /* seL4 priority for the thread to be scheduled with. */
29 uint8_t priority; member in struct:sched_params
30 /* seL4 maximum controlled priority for the thread. */
32 /* TCB to derive MCP from when setting priority/mcp (in future API) */
144 static inline sel4utils_thread_config_t thread_config_priority(sel4utils_thread_config_t config, uint8_t priority) argument
146 config.sched_params.priority = priority;
H A Dprocess_config.h139 static inline sel4utils_process_config_t process_config_priority(sel4utils_process_config_t config, uint8_t priority) argument
141 config.sched_params.priority = priority;
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dirq_server.h68 * @param[in] priority The priority of spawned threads
76 irq_server_t *irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority,
H A Dthread_config.h28 /* seL4 priority for the thread to be scheduled with. */
29 uint8_t priority; member in struct:sched_params
30 /* seL4 maximum controlled priority for the thread. */
32 /* TCB to derive MCP from when setting priority/mcp (in future API) */
144 static inline sel4utils_thread_config_t thread_config_priority(sel4utils_thread_config_t config, uint8_t priority) argument
146 config.sched_params.priority = priority;
H A Dprocess_config.h139 static inline sel4utils_process_config_t process_config_priority(sel4utils_process_config_t config, uint8_t priority) argument
141 config.sched_params.priority = priority;
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c75 /* reset interrupts priority */
78 gic_dist->priority[i >> 2] = 0x80808080;
80 gic_dist->priority[i >> 2] = 0;
121 gic_dist->priority[0] = 0x80808080;
124 gic_dist->priority[0] = 0x0;
133 /* the write to priority mask is ignored if the kernel is
134 * in non-secure mode and the priority mask is already configured
H A Dgic_v3.c142 uint32_t priority; local
157 /* Default priority for global interrupts */
158 priority = (GIC_PRI_IRQ << 24 | GIC_PRI_IRQ << 16 | GIC_PRI_IRQ << 8 |
161 gic_dist->ipriorityrn[(i / 4)] = priority;
237 uint32_t priority; local
245 /* Set priority on PPI and SGI interrupts */
246 priority = (GIC_PRI_IRQ << 24 | GIC_PRI_IRQ << 16 | GIC_PRI_IRQ << 8 |
249 gic_rdist_sgi_ppi_map[CURRENT_CPU_INDEX()]->ipriorityrn[i / 4] = priority;
272 /* No priority grouping: ICC_BPR1_EL1 */
275 /* Set priority mas
[all...]
/seL4-refos-master/libs/libutils/include/utils/
H A Dattribute.h78 #define CONSTRUCTOR(priority) __attribute__((constructor(priority)))
/seL4-refos-master/projects/util_libs/libutils/include/utils/
H A Dattribute.h78 #define CONSTRUCTOR(priority) __attribute__((constructor(priority)))
/seL4-refos-master/libs/libsel4utils/src/irq_server/
H A Dirq_server.c57 seL4_Word priority; member in struct:irq_server
228 seL4_NilData, 0, irq_server->priority);
327 irq_server_t *irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, argument
364 new->priority = priority;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c57 seL4_Word priority; member in struct:irq_server
228 seL4_NilData, 0, irq_server->priority);
327 irq_server_t *irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, argument
364 new->priority = priority;
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/
H A Dparentapi.c30 uint8_t priority)
116 seL4_NilData, get_serial_server()->server_ep_obj.cptr, priority);
28 serial_server_parent_spawn_thread(simple_t *parent_simple, vka_t *parent_vka, vspace_t *parent_vspace, uint8_t priority) argument
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c150 uint32_t priority[255]; member in struct:gicd_map
171 /* note: the security and priority initialisations in
181 /* assign the irqs in a single priority group: no preemptions */
183 gicd->priority[i >> 2] = 0x80808080;
188 /* writing 255 always set the largest (lowest) priority value.
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c150 uint32_t priority[255]; member in struct:gicd_map
171 /* note: the security and priority initialisations in
181 /* assign the irqs in a single priority group: no preemptions */
183 gicd->priority[i >> 2] = 0x80808080;
188 /* writing 255 always set the largest (lowest) priority value.

Completed in 196 milliseconds

12