On 21/04/2017 02:49, David Matlack wrote: > From: Peter Feiner <pfeiner@xxxxxxxxxx> > > The upper bounds on level in set_ept_pte and install_ept_entry were > just wrong. There's nothing wrong with setting an EPT PTE at the > highest (512GiB) level. Right, I think the idea was that the biggest supported page size is 1GB, not 512, but setting up "super-huge" EPT pages can even be desirable for testing purposes. Paolo > Got rid of unused error return values and replaced them with > assertions. Nobody was checking the return values, so these functions > were silently failing. > > Change-Id: I4db1e1c2a0c050f5f69cce28df460b4c8ce10d1c > Signed-off-by: David Matlack <dmatlack@xxxxxxxxxx>