va                111 bsp/hal/arm/arch/mmu.c mmu_map(pgd_t pgd, paddr_t pa, vaddr_t va, size_t size, int type)
va                118 bsp/hal/arm/arch/mmu.c 	va = round_page(va);
va                152 bsp/hal/arm/arch/mmu.c 		if (pte_present(pgd, va)) {
va                154 bsp/hal/arm/arch/mmu.c 			pte = vtopte(pgd, va);
va                161 bsp/hal/arm/arch/mmu.c 			pgd[PAGE_DIR(va)] = (uint32_t)pg | PDE_PRESENT;
va                166 bsp/hal/arm/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
va                170 bsp/hal/arm/arch/mmu.c 		va += PAGE_SIZE;
va                 82 bsp/hal/x86/arch/mmu.c mmu_map(pgd_t pgd, paddr_t pa, vaddr_t va, size_t size, int type)
va                 90 bsp/hal/x86/arch/mmu.c 	va = round_page(va);
va                124 bsp/hal/x86/arch/mmu.c 		if (pte_present(pgd, va)) {
va                126 bsp/hal/x86/arch/mmu.c 			pte = vtopte(pgd, va);
va                133 bsp/hal/x86/arch/mmu.c 			pgd[PAGE_DIR(va)] = (uint32_t)pg | pde_flag;
va                138 bsp/hal/x86/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
va                142 bsp/hal/x86/arch/mmu.c 		va += PAGE_SIZE;
va                220 bsp/hal/x86/arch/mmu.c mmu_extract(pgd_t pgd, vaddr_t va, size_t size)
va                226 bsp/hal/x86/arch/mmu.c 	start = trunc_page(va);
va                227 bsp/hal/x86/arch/mmu.c 	end = trunc_page(va + size - 1);
va                241 bsp/hal/x86/arch/mmu.c 	return pa + (paddr_t)(va - start);
va                129 include/sys/param.h #define kvtop(va)	((paddr_t)(va) - KERNBASE)
va                210 sys/mem/vm.c   	vaddr_t va;
va                212 sys/mem/vm.c   	va = trunc_page((vaddr_t)addr);
va                217 sys/mem/vm.c   	seg = seg_lookup(&map->head, va, 1);
va                218 sys/mem/vm.c   	if (seg == NULL || seg->addr != va || (seg->flags & SEG_FREE))
va                281 sys/mem/vm.c   	vaddr_t va;
va                283 sys/mem/vm.c   	va = trunc_page((vaddr_t)addr);
va                288 sys/mem/vm.c   	seg = seg_lookup(&map->head, va, 1);
va                289 sys/mem/vm.c   	if (seg == NULL || seg->addr != va || (seg->flags & SEG_FREE)) {
va                186 sys/mem/vm_nommu.c 	vaddr_t va;
va                188 sys/mem/vm_nommu.c 	va = trunc_page((vaddr_t)addr);
va                193 sys/mem/vm_nommu.c 	seg = seg_lookup(&map->head, va, 1);
va                194 sys/mem/vm_nommu.c 	if (seg == NULL || seg->addr != va || (seg->flags & SEG_FREE))
va                251 sys/mem/vm_nommu.c 	vaddr_t va;
va                253 sys/mem/vm_nommu.c 	va = trunc_page((vaddr_t)addr);
va                258 sys/mem/vm_nommu.c 	seg = seg_lookup(&map->head, va, 1);
va                259 sys/mem/vm_nommu.c 	if (seg == NULL || seg->addr != va || (seg->flags & SEG_FREE)) {