| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | pthread_attr_setschedparam.c | 3 int pthread_attr_setschedparam(pthread_attr_t *restrict a, const struct sched_param *restrict param) argument
5 a->_a_prio = param->sched_priority;
|
| H A D | pthread_getschedparam.c | 3 int pthread_getschedparam(pthread_t t, int *restrict policy, struct sched_param *restrict param) argument
10 r = -__syscall(SYS_sched_getparam, t->tid, param);
|
| H A D | pthread_setschedparam.c | 3 int pthread_setschedparam(pthread_t t, int policy, const struct sched_param *param) argument
7 r = t->dead ? ESRCH : -__syscall(SYS_sched_setscheduler, t->tid, policy, param);
|
| H A D | pthread_attr_get.c | 20 int pthread_attr_getschedparam(const pthread_attr_t *restrict a, struct sched_param *restrict param) argument
22 param->sched_priority = a->_a_prio;
|
| /seL4-refos-master/libs/libmuslc/src/sched/ |
| H A D | sched_getparam.c | 5 int sched_getparam(pid_t pid, struct sched_param *param) argument
|
| H A D | sched_setparam.c | 5 int sched_setparam(pid_t pid, const struct sched_param *param) argument
|
| H A D | sched_setscheduler.c | 5 int sched_setscheduler(pid_t pid, int sched, const struct sched_param *param) argument
|
| /seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 404 for param in parameters:
406 type_size = param.type.size_bits
415 results.append((param, bits_used, type_size))
424 for param in input_params:
425 if not param.type.pass_by_reference():
426 params.append(param.type.render_parameter_name(param.name))
428 params.append(param.type.pointer().render_parameter_name(param.name))
429 for param i
[all...] |
| /seL4-refos-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 404 for param in parameters:
406 type_size = param.type.size_bits
415 results.append((param, bits_used, type_size))
424 for param in input_params:
425 if not param.type.pass_by_reference():
426 params.append(param.type.render_parameter_name(param.name))
428 params.append(param.type.pointer().render_parameter_name(param.name))
429 for param i
[all...] |
| /seL4-refos-master/libs/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 404 for param in parameters:
406 type_size = param.type.size_bits
415 results.append((param, bits_used, type_size))
424 for param in input_params:
425 if not param.type.pass_by_reference():
426 params.append(param.type.render_parameter_name(param.name))
428 params.append(param.type.pointer().render_parameter_name(param.name))
429 for param i
[all...] |
| /seL4-refos-master/libs/libutils/include/utils/ |
| H A D | attribute.h | 62 #define SENTINEL(param) __attribute__((sentinel(param)))
|
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ |
| H A D | attribute.h | 62 #define SENTINEL(param) __attribute__((sentinel(param)))
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | process.h | 81 @param p The process to configure (No ownership).
82 @param pid The allocated PID of the process.
83 @param priority The priority that the process runs at.
84 @param imageName The ELF file name, in the process server's CPIO archive.
85 @param systemCapabilitiesMask The system capabilities mask, which allows access to additional
93 @param p The process to start.
94 @param tindex The index of the thread to start in given process.
95 @param arg0 The first argument to pass to the thread's entry point. (unimplemented)
96 @param arg1 The second argument to pass to the thread's entry point. (unimplemented)
106 @param nam
[all...] |
| H A D | process.c | 37 proc_staticparam_create_and_set(struct proc_pcb *p, char *param) argument
39 assert(p && param);
40 size_t paramLen = strlen(param);
53 /* Write param data to frame. */
54 error = procserv_frame_write(frame.cptr, param, paramLen, 0);
56 ROS_ERROR("Could not write to param frame.");
66 ROS_ERROR("Could not create static param window.");
73 ROS_ERROR("Could not map static param window.");
127 proc_setup_environment(struct proc_pcb *p, char *param) argument
132 proc_staticparam_create_and_set(p, param);
303 proc_load_direct(char *name, int priority, char *param, unsigned int parentPID, uint32_t systemCapabilitiesMask) argument
[all...] |
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.h | 81 @param p The process to configure (No ownership).
82 @param pid The allocated PID of the process.
83 @param priority The priority that the process runs at.
84 @param imageName The ELF file name, in the process server's CPIO archive.
85 @param systemCapabilitiesMask The system capabilities mask, which allows access to additional
93 @param p The process to start.
94 @param tindex The index of the thread to start in given process.
95 @param arg0 The first argument to pass to the thread's entry point. (unimplemented)
96 @param arg1 The second argument to pass to the thread's entry point. (unimplemented)
106 @param nam
[all...] |
| H A D | process.c | 37 proc_staticparam_create_and_set(struct proc_pcb *p, char *param) argument
39 assert(p && param);
40 size_t paramLen = strlen(param);
53 /* Write param data to frame. */
54 error = procserv_frame_write(frame.cptr, param, paramLen, 0);
56 ROS_ERROR("Could not write to param frame.");
66 ROS_ERROR("Could not create static param window.");
73 ROS_ERROR("Could not map static param window.");
127 proc_setup_environment(struct proc_pcb *p, char *param) argument
132 proc_staticparam_create_and_set(p, param);
303 proc_load_direct(char *name, int priority, char *param, unsigned int parentPID, uint32_t systemCapabilitiesMask) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_ps2.c | 77 ps2_send_keyboard_cmd_param(ps_io_ops_t *ops, uint8_t cmd, uint8_t param) argument
81 ps2_write_output(ops, param);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_ps2.c | 77 ps2_send_keyboard_cmd_param(ps_io_ops_t *ops, uint8_t cmd, uint8_t param) argument
81 ps2_write_output(ops, param);
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | api.tex | 8 \newcommand{\param}[3]{\texttt{#1}&\texttt{#2}\\ }
|