msr_write_intercepted_l01  641 arch/x86/kvm/vmx/nested.c 	if (!msr_write_intercepted_l01(vcpu, MSR_IA32_SPEC_CTRL))
msr_write_intercepted_l01  647 arch/x86/kvm/vmx/nested.c 	if (!msr_write_intercepted_l01(vcpu, MSR_IA32_PRED_CMD))