Searched defs:priority (Results 1 – 5 of 5) sorted by relevance
237 void platform_cpu_priority_set(uint32_t cpu_nr, uint32_t priority) { in platform_cpu_priority_set()
150 uint32_t priority; member
86 int priority; member
275 priority, argument
564 int priority, in trusty_thread_create()