regs->fs = read_segment_register(fs);
regs->gs = read_segment_register(gs);
+ if ( cpu_has_fsgsbase && !is_pv_32bit_vcpu(v) )
+ {
+ v->arch.pv_vcpu.fs_base = __rdfsbase();
+ if ( v->arch.flags & TF_kernel_mode )
+ v->arch.pv_vcpu.gs_base_kernel = __rdgsbase();
+ else
+ v->arch.pv_vcpu.gs_base_user = __rdgsbase();
+ }
+
if ( regs->ds )
dirty_segment_mask |= DIRTY_DS;
case MSR_FS_BASE:
if ( is_pv_32on64_vcpu(v) )
goto fail;
- if ( wrmsr_safe(MSR_FS_BASE, msr_content) )
- goto fail;
+ wrfsbase(msr_content);
v->arch.pv_vcpu.fs_base = msr_content;
break;
case MSR_GS_BASE:
if ( is_pv_32on64_vcpu(v) )
goto fail;
- if ( wrmsr_safe(MSR_GS_BASE, msr_content) )
- goto fail;
+ wrgsbase(msr_content);
v->arch.pv_vcpu.gs_base_kernel = msr_content;
break;
case MSR_SHADOW_GS_BASE:
case MSR_FS_BASE:
if ( is_pv_32on64_vcpu(v) )
goto fail;
- regs->eax = v->arch.pv_vcpu.fs_base & 0xFFFFFFFFUL;
- regs->edx = v->arch.pv_vcpu.fs_base >> 32;
- break;
+ val = cpu_has_fsgsbase ? __rdfsbase() : v->arch.pv_vcpu.fs_base;
+ goto rdmsr_writeback;
case MSR_GS_BASE:
if ( is_pv_32on64_vcpu(v) )
goto fail;
- regs->eax = v->arch.pv_vcpu.gs_base_kernel & 0xFFFFFFFFUL;
- regs->edx = v->arch.pv_vcpu.gs_base_kernel >> 32;
- break;
+ val = cpu_has_fsgsbase ? __rdgsbase()
+ : v->arch.pv_vcpu.gs_base_kernel;
+ goto rdmsr_writeback;
case MSR_SHADOW_GS_BASE:
if ( is_pv_32on64_vcpu(v) )
goto fail;
{
if ( is_pv_32bit_vcpu(v) )
return;
+ if ( cpu_has_fsgsbase )
+ {
+ if ( v->arch.flags & TF_kernel_mode )
+ v->arch.pv_vcpu.gs_base_kernel = __rdgsbase();
+ else
+ v->arch.pv_vcpu.gs_base_user = __rdgsbase();
+ }
v->arch.flags ^= TF_kernel_mode;
asm volatile ( "swapgs" );
update_cr3(v);
: "=a" (low), "=d" (high) \
: "c" (counter))
-static inline unsigned long rdfsbase(void)
+static inline unsigned long __rdfsbase(void)
{
unsigned long base;
- if ( cpu_has_fsgsbase )
#ifdef HAVE_GAS_FSGSBASE
- asm volatile ( "rdfsbase %0" : "=r" (base) );
+ asm volatile ( "rdfsbase %0" : "=r" (base) );
#else
- asm volatile ( ".byte 0xf3, 0x48, 0x0f, 0xae, 0xc0" : "=a" (base) );
+ asm volatile ( ".byte 0xf3, 0x48, 0x0f, 0xae, 0xc0" : "=a" (base) );
#endif
- else
- rdmsrl(MSR_FS_BASE, base);
return base;
}
-static inline unsigned long rdgsbase(void)
+static inline unsigned long __rdgsbase(void)
{
unsigned long base;
- if ( cpu_has_fsgsbase )
#ifdef HAVE_GAS_FSGSBASE
- asm volatile ( "rdgsbase %0" : "=r" (base) );
+ asm volatile ( "rdgsbase %0" : "=r" (base) );
#else
- asm volatile ( ".byte 0xf3, 0x48, 0x0f, 0xae, 0xc8" : "=a" (base) );
+ asm volatile ( ".byte 0xf3, 0x48, 0x0f, 0xae, 0xc8" : "=a" (base) );
#endif
- else
- rdmsrl(MSR_GS_BASE, base);
+
+ return base;
+}
+
+static inline unsigned long rdfsbase(void)
+{
+ unsigned long base;
+
+ if ( cpu_has_fsgsbase )
+ return __rdfsbase();
+
+ rdmsrl(MSR_FS_BASE, base);
+
+ return base;
+}
+
+static inline unsigned long rdgsbase(void)
+{
+ unsigned long base;
+
+ if ( cpu_has_fsgsbase )
+ return __rdgsbase();
+
+ rdmsrl(MSR_GS_BASE, base);
return base;
}