Searched refs:write_tcm_boot_trampoline (Results 1 – 1 of 1) sorted by relevance
185 static void write_tcm_boot_trampoline(u32 boot_addr) in write_tcm_boot_trampoline() function275 write_tcm_boot_trampoline(boot_addr_uniq); in cpu_release()287 write_tcm_boot_trampoline(boot_addr_uniq); in cpu_release()