RISCV_PAGE_MASK
offset = va & RISCV_PAGE_MASK;
~RISCV_PAGE_MASK;
_Static_assert(PAGE_MASK == RISCV_PAGE_MASK, "PAGE_MASK mismatch");