Searched refs:arch_mmu_is_valid_vaddr (Results 1 – 3 of 3) sorted by relevance
28 static inline bool arch_mmu_is_valid_vaddr(struct arch_aspace *aspace, vaddr_t vaddr) { in arch_mmu_is_valid_vaddr() function
241 DEBUG_ASSERT(arch_mmu_is_valid_vaddr(aspace, vaddr)); in arch_mmu_query()242 if (!arch_mmu_is_valid_vaddr(aspace, vaddr)) in arch_mmu_query()486 DEBUG_ASSERT(arch_mmu_is_valid_vaddr(aspace, vaddr)); in arch_mmu_map()487 if (!arch_mmu_is_valid_vaddr(aspace, vaddr)) in arch_mmu_map()582 DEBUG_ASSERT(arch_mmu_is_valid_vaddr(aspace, vaddr)); in arch_mmu_unmap()584 if (!arch_mmu_is_valid_vaddr(aspace, vaddr)) in arch_mmu_unmap()
349 if (arch_mmu_is_valid_vaddr(&vmm_get_kernel_aspace()->arch_aspace, loader_pa)) { in arch_chain_load()
Completed in 6 milliseconds