Searched refs:va_extended_mask (Results 1 – 1 of 1) sorted by relevance
273 vaddr_t va_extended_mask = GENMASK_64(63, RISCV_MMU_VA_WIDTH); in core_mmu_pgt_get_va_base()276 return va_extended_mask | va_base; in core_mmu_pgt_get_va_base()726 const vaddr_t va_extended_mask = GENMASK_64(63, va_width); in arch_aslr_base_addr() local738 base_addr |= va_extended_mask; in arch_aslr_base_addr()740 base_addr &= ~va_extended_mask; in arch_aslr_base_addr()