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. -- Vitaly