arch/x86/kvm/vmx/nested.c

2607

*ssp_tbl = vmcs_readl(GUEST_INTR_SSP_TABLE);

arch/x86/kvm/vmx/nested.c

2620

vmcs_writel(GUEST_INTR_SSP_TABLE, ssp_tbl);

arch/x86/kvm/vmx/vmcs12.c

144

FIELD(GUEST_INTR_SSP_TABLE, guest_ssp_tbl),

arch/x86/kvm/vmx/vmcs12.c

201

case GUEST_INTR_SSP_TABLE:

arch/x86/kvm/vmx/vmx.c

2255

msr_info->data = vmcs_readl(GUEST_INTR_SSP_TABLE);

arch/x86/kvm/vmx/vmx.c

2582

vmcs_writel(GUEST_INTR_SSP_TABLE, data);

arch/x86/kvm/vmx/vmx.c

5077

vmcs_writel(GUEST_INTR_SSP_TABLE, 0);

arch/x86/kvm/vmx/vmx.c

6590

vmcs_readl(GUEST_INTR_SSP_TABLE));