PTE_U
_Static_assert(PTE_U == RISCV_PTE_U, "PTE_U mismatch");
#define PTE_PROMOTE (PTE_V | PTE_RWX | PTE_D | PTE_G | PTE_U | \
if ((pmap != kernel_pmap && (oldpte & PTE_U) == 0) ||
new_l3 |= PTE_U;
new_l2 |= PTE_U;
newl3 |= PTE_U;
(range->attrs & PTE_U) == PTE_U ? 'u' : 's',
attrs |= l1e & (PTE_RWX | PTE_U);
attrs |= l2e & (PTE_RWX | PTE_U);
attrs |= l3e & (PTE_RWX | PTE_U | PTE_G);