/seL4-test-master/projects/musllibc/src/thread/ |
H A D | pthread_setschedprio.c | 3 int pthread_setschedprio(pthread_t t, int prio) argument
|
/seL4-test-master/projects/musllibc/src/misc/ |
H A D | setpriority.c | 4 int setpriority(int which, id_t who, int prio) argument
|
/seL4-test-master/projects/musllibc/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-test-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-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
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
|
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
|
/seL4-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | helpers.c | 371 void set_helper_priority(env_t env, helper_thread_t *thread, seL4_Word prio) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | ipc.c | 559 int prio = server_prio + (prio_diff * i); local [all...] |
H A D | scheduler.c | 770 int prio = highest - SCHED0008_NUM_CLIENTS - 1; local 892 int prio = seL4_MaxPrio - 1 - SCHED0009_SERVERS + i; local [all...] |
/seL4-test-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...] |