Searched refs:core_mmu_set_secure_memory (Results 1 – 3 of 3) sorted by relevance
710 void core_mmu_set_secure_memory(paddr_t base, size_t size);
1446 core_mmu_set_secure_memory(base, size); in boot_save_args()
173 void core_mmu_set_secure_memory(paddr_t base, size_t size) in core_mmu_set_secure_memory() function