MSR_SYSCALL_MASK
wrmsrq(MSR_SYSCALL_MASK,
ops->get_msr(ctxt, MSR_SYSCALL_MASK, &msr_data);
MSR_SYSCALL_MASK,
case MSR_SYSCALL_MASK:
case MSR_SYSCALL_MASK:
svm_disable_intercept_for_msr(vcpu, MSR_SYSCALL_MASK, MSR_TYPE_RW);
{.msr = MSR_SYSCALL_MASK, .defval = 0x20200 },
vmx_setup_uret_msr(vmx, MSR_SYSCALL_MASK, load_syscall_msrs);
MSR_SYSCALL_MASK, MSR_LSTAR, MSR_CSTAR,
MSR_CSTAR, MSR_KERNEL_GS_BASE, MSR_SYSCALL_MASK, MSR_LSTAR,
case MSR_SYSCALL_MASK:
MSR_TEST(MSR_SYSCALL_MASK, 0xffffffff, 0, LM),
wrmsr(MSR_SYSCALL_MASK, 0);
GUEST_ASSERT(rdmsr(MSR_SYSCALL_MASK) == MSR_SYSCALL_MASK);
GUEST_ASSERT(rdmsr(MSR_SYSCALL_MASK) != MSR_SYSCALL_MASK);
if (run->msr.index == MSR_SYSCALL_MASK ||
deny_msr(bitmap_c0000000_read, MSR_SYSCALL_MASK);