Searched defs: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()237 void platform_cpu_priority_set(uint32_t cpu_nr, uint32_t priority) { in platform_cpu_priority_set()