···400400401401 /* xchg acts as a barrier before the setting of the high bits */402402 orig.spte_low = xchg(&ssptep->spte_low, sspte.spte_low);403403- orig.spte_high = ssptep->spte_high = sspte.spte_high;403403+ orig.spte_high = ssptep->spte_high;404404+ ssptep->spte_high = sspte.spte_high;404405 count_spte_clear(sptep, spte);405406406407 return orig.spte;