> The same as cpu_has_vmx_ept_4levels(). > >> >>> enable_vpid = 0; >>> + >> >> unrelated change > > To make the vpid codes more clear. Please refer to other callees in > hardware_setup(). I was talking about the added empty line. This is unrelated to the patch you're posting. -- Thanks, David