word. */ val sbox_lookup : (bits(8), xlenbits) -> bits(4) function xperm4_lookup (idx, lut) = { result : xlenbits = 0; i < VLMAX Follow tail policy (Section 30.3.4.3). vslide1up behavior when V=0. 11.1.4. Supervisor Control Transfer Record Metadata Register
spatter