Searched refs:GUEST_FS_BASE (Results 1 – 2 of 2) sorted by relevance
263 GUEST_FS_BASE = 0x0000680e, enumerator
744 FIELD(GUEST_FS_BASE, guest_fs_base),2656 data = vmcs_readl(GUEST_FS_BASE); in vmx_get_msr()2738 vmcs_writel(GUEST_FS_BASE, data); in vmx_set_msr()9103 vmcs_writel(GUEST_FS_BASE, vmcs12->guest_fs_base); in prepare_vmcs02()9763 vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE); in prepare_vmcs12()