* instrumentation or checking boot_cpu_data in the cc_platform_has()
         * function.
         */
-       if (!sme_get_me_mask() ||
-           RIP_REL_REF(sev_status) & MSR_AMD64_SEV_ENABLED)
+       if (!sme_get_me_mask() || sev_status & MSR_AMD64_SEV_ENABLED)
                return;
 
        /*
        me_mask = 1UL << (ebx & 0x3f);
 
        /* Check the SEV MSR whether SEV or SME is enabled */
-       RIP_REL_REF(sev_status) = msr = __rdmsr(MSR_AMD64_SEV);
+       sev_status = msr = __rdmsr(MSR_AMD64_SEV);
        feature_mask = (msr & MSR_AMD64_SEV_ENABLED) ? AMD_SEV_BIT : AMD_SME_BIT;
 
        /*
                        return;
        }
 
-       RIP_REL_REF(sme_me_mask) = me_mask;
-       RIP_REL_REF(physical_mask) &= ~me_mask;
-       RIP_REL_REF(cc_vendor) = CC_VENDOR_AMD;
+       sme_me_mask     = me_mask;
+       physical_mask   &= ~me_mask;
+       cc_vendor       = CC_VENDOR_AMD;
        cc_set_mask(me_mask);
 }