Searched refs:cpu_nr (Results 1 – 1 of 1) sorted by relevance
220 static struct trusty_percpu_shared_data* get_percpu_share_ptr(uint32_t cpu_nr) { in get_percpu_share_ptr() argument224 DEBUG_ASSERT(cpu_nr < shareinfo.cpu_count); in get_percpu_share_ptr()228 tmp += cpu_nr * shareinfo.percpu_data_size; in get_percpu_share_ptr()237 void platform_cpu_priority_set(uint32_t cpu_nr, uint32_t priority) { in platform_cpu_priority_set() argument267 if ((sched_shared_mem) && (cpu_nr < shareinfo.cpu_count)) { in platform_cpu_priority_set()268 percpu_data_ptr = get_percpu_share_ptr(cpu_nr); in platform_cpu_priority_set()