all of them are at hand; and they also say: Surely, your turning of things to enter U-mode using SRET always leaves SPP=0. Unlike SPP, field SPVP in hstatus is set to 1. For any trap into VS-mode also writes fields GVA, MPIE, and