Searched refs:hart_id (Results 1 – 3 of 3) sorted by relevance

/optee_os-3.20.0/core/arch/riscv/kernel/
A D	sbi.c	37 int sbi_boot_hart(uint32_t hart_id, paddr_t start_addr, unsigned long arg) in sbi_boot_hart() argument 41 ret = sbi_ecall(SBI_EXT_HSM, SBI_EXT_HSM_HART_START, hart_id, start_addr, arg); in sbi_boot_hart()
/optee_os-3.20.0/core/arch/riscv/include/
A D	sbi.h	42 int sbi_boot_hart(uint32_t hart_id, paddr_t start_addr, unsigned long arg);
/optee_os-3.20.0/core/arch/riscv/include/kernel/
A D	thread_arch.h	23 uint32_t hart_id; member

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023