Quoting Claudio Imbrenda (2024-04-18 13:01:40) > The current code creates secure guests with significantly more memory > than expected, but since none of that memory is ever touched, > everything still works. > > Fix the issue by specifying the actual guest length. > > The MSL does not contain the length of the guest, but the address of > the last 1M block of guest memory. In order to get the length, MSO > needs to be subtracted, and 1M needs to be added. > > Signed-off-by: Claudio Imbrenda <imbrenda@xxxxxxxxxxxxx> Reviewed-by: Nico Boehr <nrb@xxxxxxxxxxxxx>