Searched refs:msr_host_kernel_gs_base (Results 1 – 3 of 3) sorted by relevance
54 u64 msr_host_kernel_gs_base; member
782 vt->msr_host_kernel_gs_base = current->thread.gsbase; in tdx_prepare_switch_to_guest() 784 vt->msr_host_kernel_gs_base = read_msr(MSR_KERNEL_GS_BASE); in tdx_prepare_switch_to_guest() 820 wrmsrl(MSR_KERNEL_GS_BASE, vt->msr_host_kernel_gs_base); in tdx_prepare_switch_to_host()
1287 vt->msr_host_kernel_gs_base = current->thread.gsbase; in vmx_prepare_switch_to_guest() 1292 vt->msr_host_kernel_gs_base = read_msr(MSR_KERNEL_GS_BASE); in vmx_prepare_switch_to_guest() 1339 wrmsrq(MSR_KERNEL_GS_BASE, vmx->vt.msr_host_kernel_gs_base); in vmx_prepare_switch_to_host()