| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | setpriority.c | 4 int setpriority(int which, id_t who, int prio) argument
|
| /seL4-refos-master/libs/libmuslc/src/mq/ |
| H A D | mq_receive.c | 3 ssize_t mq_receive(mqd_t mqd, char *msg, size_t len, unsigned *prio) argument
|
| H A D | mq_send.c | 3 int mq_send(mqd_t mqd, const char *msg, size_t len, unsigned prio) argument
|
| H A D | mq_timedreceive.c | 4 ssize_t mq_timedreceive(mqd_t mqd, char *restrict msg, size_t len, unsigned *restrict prio, const struct timespec *restrict at) argument
|
| H A D | mq_timedsend.c | 4 int mq_timedsend(mqd_t mqd, const char *msg, size_t len, unsigned prio, const struct timespec *at) argument
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | pthread_setschedprio.c | 3 int pthread_setschedprio(pthread_t t, int prio) argument
|
| /seL4-refos-master/kernel/include/kernel/ |
| H A D | thread.h | 19 static inline CONST word_t ready_queues_index(word_t dom, word_t prio) argument
29 static inline CONST word_t prio_to_l1index(word_t prio) argument
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | thread.c | 407 word_t prio; local
475 void setPriority(tcb_t *tptr, prio_t prio) argument
504 setPriority(tcb_t *tptr, prio_t prio) argument
[all...] |
| /seL4-refos-master/kernel/src/object/ |
| H A D | tcb.c | 32 static exception_t checkPrio(prio_t prio, tcb_t *auth) argument
52 static inline void addToBitmap(word_t cpu, word_t dom, word_t prio) argument
68 static inline void removeFromBitmap(word_t cpu, word_t dom, word_t prio) argument
92 prio_t prio; local
127 prio_t prio; local
157 prio_t prio; local
[all...] |
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 125 static inline seL4_Error api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio, argument
|
| H A D | process_config.h | 183 process_config_default_simple(simple_t *simple, const char *image_name, uint8_t prio) argument
|
| H A D | thread_config.h | 176 thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, seL4_CPtr fault_ep, uint8_t prio) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 125 static inline seL4_Error api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio, argument
|
| H A D | process_config.h | 183 process_config_default_simple(simple_t *simple, const char *image_name, uint8_t prio) argument
|
| H A D | thread_config.h | 176 thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, seL4_CPtr fault_ep, uint8_t prio) argument
|