Searched refs:boot_core_release (Results 1 – 4 of 4) sorted by relevance
96 int boot_core_release(size_t core_idx, paddr_t entry);
121 if (!boot_core_release(args->a1, (paddr_t)(args->a3))) in tee_entry_boot_secondary()
182 if (!boot_core_release(args->a1, (paddr_t)(args->a3))) in tee_entry_boot_secondary()
1205 int boot_core_release(size_t core_idx, paddr_t entry) in boot_core_release() function