On 11/03/19 17:18, Vitaly Kuznetsov wrote: > Vitaly Kuznetsov <vkuznets@xxxxxxxxxx> writes: > >> >> This should work, thanks! I'm going to run some tests and report the result. > > FWIW, I ran some tests on both VMX and SVM with and without EPT/NPT and > nothing obvious seems to break; the original issue with > fast_cr3_switch() not working as expected is also gone. So > > Tested-by: Vitaly Kuznetsov <vkuznets@xxxxxxxxxx> > > for the series. > Queued for after the merge window with s/gpte_size/gpte_is_8_bytes, thanks. Paolo