Searched refs:va_width_msb (Results 1 – 1 of 1) sorted by relevance
272 vaddr_t va_width_msb = BIT64(RISCV_MMU_VA_WIDTH - 1); in core_mmu_pgt_get_va_base()275 if (va_base & va_width_msb) in core_mmu_pgt_get_va_base()725 const vaddr_t va_width_msb = BIT64(va_width - 1); in arch_aslr_base_addr() local737 if (base_addr & va_width_msb) in arch_aslr_base_addr()