MSR_IA32_LASTBRANCHTOIP
MSR_IA32_LASTBRANCHTOIP,
case MSR_IA32_LASTBRANCHTOIP:
case MSR_IA32_LASTBRANCHTOIP:
case MSR_IA32_LASTBRANCHTOIP:
svm_set_intercept_for_msr(vcpu, MSR_IA32_LASTBRANCHTOIP, MSR_TYPE_RW, intercept);
MSR_IA32_LASTBRANCHFROMIP, MSR_IA32_LASTBRANCHTOIP,
case MSR_IA32_LASTBRANCHTOIP:
(b)->to = rdmsr(MSR_IA32_LASTBRANCHTOIP); \
GUEST_ASSERT_EQ((b)->to, rdmsr(MSR_IA32_LASTBRANCHTOIP)); \