Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/kernel/
A Dboot.h75 int boot_core_release(size_t core_idx, paddr_t entry);
/optee_os/core/arch/arm/tee/
A Dentry_fast.c142 if (!boot_core_release(args->a1, (paddr_t)(args->a3))) in tee_entry_boot_secondary()
/optee_os/core/arch/arm/kernel/
A Dboot.c1371 int boot_core_release(size_t core_idx, paddr_t entry) in boot_core_release() function

Completed in 7 milliseconds