RISCV_PAGE_SHIFT
#define RISCV_PAGE_SIZE (1 << RISCV_PAGE_SHIFT)
_Static_assert(PAGE_SHIFT == RISCV_PAGE_SHIFT, "PAGE_SHIFT mismatch");