Searched refs:hartidx (Results 1 – 2 of 2) sorted by relevance
329 uint32_t thread_get_hartid_by_hartindex(uint32_t hartidx) in thread_get_hartid_by_hartindex() argument331 assert(hartidx < CFG_TEE_CORE_NB_CORE); in thread_get_hartid_by_hartindex()333 return thread_core_local[hartidx].hart_id; in thread_get_hartid_by_hartindex()
201 uint32_t thread_get_hartid_by_hartindex(uint32_t hartidx);