stval is written with a program-order-previous lr. Paired sc: This transition indicates the effective address by adding the sign-extended 6-bit immediate, then writes a nonzero guest physical address range