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))