cpu_has_vmx_tpr_shadow
return cpu_has_vmx_tpr_shadow() && lapic_in_kernel(vcpu);
return cpu_has_vmx_tpr_shadow() &&
return cpu_has_vmx_tpr_shadow();
if (cpu_has_vmx_tpr_shadow()) {
if (!cpu_has_vmx_tpr_shadow())