Searched refs:tfm_hal_boot_ns_cpu (Results 1 – 8 of 8) sorted by relevance
10 void tfm_hal_boot_ns_cpu(uintptr_t start_addr) in tfm_hal_boot_ns_cpu() function
22 void tfm_hal_boot_ns_cpu(uintptr_t start_addr);
26 tfm_hal_boot_ns_cpu(tfm_hal_get_ns_VTOR()); in boot_ns_core()
29 void tfm_hal_boot_ns_cpu(uintptr_t start_addr) in tfm_hal_boot_ns_cpu() function
114 void tfm_hal_boot_ns_cpu(uintptr_t start_addr) in tfm_hal_boot_ns_cpu() function
57 void tfm_hal_boot_ns_cpu(uintptr_t start_addr) in tfm_hal_boot_ns_cpu() function
100 void tfm_hal_boot_ns_cpu(uintptr_t start_addr);
235 This partition will call ``tfm_hal_boot_ns_cpu()`` and
