Home
last modified time | relevance | path

Searched refs:thread_get_hartid_by_hartindex (Results 1 – 4 of 4) sorted by relevance

/optee_os/core/arch/riscv/kernel/
H A Dboot.c239 thread_get_hartid_by_hartindex(pos)); in boot_init_primary_runtime()
257 thread_get_hartid_by_hartindex(pos)); in boot_init_primary_final()
269 pos, thread_get_hartid_by_hartindex(pos)); in init_secondary_helper()
284 pos, thread_get_hartid_by_hartindex(pos)); in init_secondary_helper()
H A Dsbi_mpxy.c38 hart_id = thread_get_hartid_by_hartindex(pos); in mpxy_get_core_local()
H A Dthread_arch.c329 uint32_t thread_get_hartid_by_hartindex(uint32_t hartidx) in thread_get_hartid_by_hartindex() function
/optee_os/core/arch/riscv/include/kernel/
H A Dthread_arch.h201 uint32_t thread_get_hartid_by_hartindex(uint32_t hartidx);