Lines Matching defs:va
127 map_page_early(phys_addr_t ptPa, int level, addr_t va, phys_addr_t pa,
135 int index = (va >> shift) & tableMask;
168 map_page_early(table, level + 1, va, pa, get_free_page, args);
174 arch_vm_translation_map_early_map(kernel_args* args, addr_t va, phys_addr_t pa, uint8 attributes,
179 ASSERT((va & ~va_mask) == ~va_mask);
183 va &= va_mask;
186 map_page_early(ptPa, level, va, pa, get_free_page, args);
193 arch_vm_translation_map_is_kernel_page_accessible(addr_t va, uint32 protection)
196 asm("at s1e1w, %0" : : "r"((uint64_t) va));
199 asm("at s1e1r, %0" : : "r"((uint64_t) va));