350 	union split_spte *ssptep, sspte;  in __set_spte()  local
352 	ssptep = (union split_spte *)sptep;  in __set_spte()
355 	ssptep->spte_high = sspte.spte_high;  in __set_spte()
364 	WRITE_ONCE(ssptep->spte_low, sspte.spte_low);  in __set_spte()
369 	union split_spte *ssptep, sspte;  in __update_clear_spte_fast()  local
371 	ssptep = (union split_spte *)sptep;  in __update_clear_spte_fast()
374 	WRITE_ONCE(ssptep->spte_low, sspte.spte_low);  in __update_clear_spte_fast()
382 	ssptep->spte_high = sspte.spte_high;  in __update_clear_spte_fast()
388 	union split_spte *ssptep, sspte, orig;  in __update_clear_spte_slow()  local
390 	ssptep = (union split_spte *)sptep;  in __update_clear_spte_slow()
394 	orig.spte_low = xchg(&ssptep->spte_low, sspte.spte_low);  in __update_clear_spte_slow()
395 	orig.spte_high = ssptep->spte_high;  in __update_clear_spte_slow()
396 	ssptep->spte_high = sspte.spte_high;  in __update_clear_spte_slow()