/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | thread.h | 34 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 D | thread.c | 19 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 D | process.h | 83 @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 D | process.c | 187 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 D | thread.h | 34 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 D | thread.c | 19 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 D | process.h | 83 @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 D | process.c | 187 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 D | syslog.c | 82 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 D | parent.h | 44 * @param priority Server thread's priority. 50 uint8_t priority);
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | irq_server.h | 68 * @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 D | thread_config.h | 28 /* 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 D | process_config.h | 139 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 D | irq_server.h | 68 * @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 D | thread_config.h | 28 /* 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 D | process_config.h | 139 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 D | gic_v2.c | 75 /* 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 D | gic_v3.c | 142 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 D | attribute.h | 78 #define CONSTRUCTOR(priority) __attribute__((constructor(priority)))
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | attribute.h | 78 #define CONSTRUCTOR(priority) __attribute__((constructor(priority)))
|
/seL4-refos-master/libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 57 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 D | irq_server.c | 57 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 D | parentapi.c | 30 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 D | platform_init.c | 150 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 D | platform_init.c | 150 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.
|