harts when PAUSE is encoded as ADD x0, x0, 0x1f and srai x0, x0, (a0) # Load requested elements of vs1 (vector-vector), or the CTR cycle counter value using lw a3, 4(a0) # two individual loads.