Searched refs:z_arm64_mem_cfg_ipi (Results 1 – 4 of 4) sorted by relevance
54 extern void z_arm64_mem_cfg_ipi(void);
772 z_arm64_mem_cfg_ipi(); in configure_domain_partitions()800 z_arm64_mem_cfg_ipi(); in arch_mem_domain_thread_add()815 z_arm64_mem_cfg_ipi(); in arch_mem_domain_thread_remove()
247 void z_arm64_mem_cfg_ipi(void) in z_arm64_mem_cfg_ipi() function
1317 z_arm64_mem_cfg_ipi(); in arch_mem_domain_thread_add()
