On 08/01/2018 03:07 PM, Andrew Cooper wrote: > If the EPTP pointer can't be located in the altp2m list, the domain > is (legitimately) crashed. > > Under those circumstances, execution will continue and guarentee to hit the > BUG_ON(idx >= MAX_ALTP2M) (unfortunately, just out of context). > > Return from vmx_vmexit_handler() after the domain_crash(), which also has the > side effect of reentering the scheduler more promptly. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Reviewed-by: Razvan Cojocaru <rcojoc...@bitdefender.com> Thanks, Razvan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
