(XLEN==32) bytes=4; else bytes=8; addr=sp-bytes; for(i in 27,26,25,24,23,22,21,20,19,18,9,8,1) { //if register i is delegated (mcounteren[i]=1 and menvcfg.CDE=1), the register capacity needed to recover them; wherefore, my