Searched defs:core_mmu_get_user_va_range (Results 1 – 3 of 3) sorted by relevance
713 void core_mmu_get_user_va_range(vaddr_t *base, size_t *size) in core_mmu_get_user_va_range() function
1412 void core_mmu_get_user_va_range(vaddr_t *base, size_t *size) in core_mmu_get_user_va_range() function
976 void core_mmu_get_user_va_range(vaddr_t *base, size_t *size) in core_mmu_get_user_va_range() function