383 	union split_spte *ssptep, sspte;  in __set_spte()  local
385 	ssptep = (union split_spte *)sptep;  in __set_spte()
388 	ssptep->spte_high = sspte.spte_high;  in __set_spte()
397 	WRITE_ONCE(ssptep->spte_low, sspte.spte_low);  in __set_spte()
402 	union split_spte *ssptep, sspte;  in __update_clear_spte_fast()  local
404 	ssptep = (union split_spte *)sptep;  in __update_clear_spte_fast()
407 	WRITE_ONCE(ssptep->spte_low, sspte.spte_low);  in __update_clear_spte_fast()
415 	ssptep->spte_high = sspte.spte_high;  in __update_clear_spte_fast()
421 	union split_spte *ssptep, sspte, orig;  in __update_clear_spte_slow()  local
423 	ssptep = (union split_spte *)sptep;  in __update_clear_spte_slow()
427 	orig.spte_low = xchg(&ssptep->spte_low, sspte.spte_low);  in __update_clear_spte_slow()
428 	orig.spte_high = ssptep->spte_high;  in __update_clear_spte_slow()
429 	ssptep->spte_high = sspte.spte_high;  in __update_clear_spte_slow()