Searched refs:core_mmu_get_secure_memory (Results 1 – 3 of 3) sorted by relevance
721 void core_mmu_get_secure_memory(paddr_t *base, paddr_size_t *size);
1448 core_mmu_get_secure_memory(&base, &size); in boot_save_args()
163 void core_mmu_get_secure_memory(paddr_t *base, paddr_size_t *size) in core_mmu_get_secure_memory() function