Searched refs:platform_cpu_priority_set (Results 1 – 3 of 3) sorted by relevance
112 __WEAK void platform_cpu_priority_set(uint32_t cpu, uint32_t priority) { in platform_cpu_priority_set() function435 platform_cpu_priority_set(target_cpu, t->priority); in thread_get_mp_reschedule_target()860 platform_cpu_priority_set(best_cpu, t->priority); in thread_cond_mp_reschedule()926 platform_cpu_priority_set(cpu, newthread->priority); in thread_resched()995 platform_cpu_priority_set(cpu, newthread->priority); in thread_resched()1299 platform_cpu_priority_set(0, t->priority); in thread_init_early()1599 platform_cpu_priority_set(cpu, t->priority); in thread_secondary_cpu_init_early()
104 void platform_cpu_priority_set(uint32_t cpu_nr, uint32_t priority);
237 void platform_cpu_priority_set(uint32_t cpu_nr, uint32_t priority) { in platform_cpu_priority_set() function