346 	union split_spte *ssptep, sspte;  in __set_spte()  local
349 	sspte = (union split_spte)spte;  in __set_spte()
351 	ssptep->spte_high = sspte.spte_high;  in __set_spte()
360 	ssptep->spte_low = sspte.spte_low;  in __set_spte()
365 	union split_spte *ssptep, sspte;  in __update_clear_spte_fast()  local
368 	sspte = (union split_spte)spte;  in __update_clear_spte_fast()
370 	ssptep->spte_low = sspte.spte_low;  in __update_clear_spte_fast()
378 	ssptep->spte_high = sspte.spte_high;  in __update_clear_spte_fast()
384 	union split_spte *ssptep, sspte, orig;  in __update_clear_spte_slow()  local
387 	sspte = (union split_spte)spte;  in __update_clear_spte_slow()
390 	orig.spte_low = xchg(&ssptep->spte_low, sspte.spte_low);  in __update_clear_spte_slow()
392 	ssptep->spte_high = sspte.spte_high;  in __update_clear_spte_slow()
430 	union split_spte sspte = (union split_spte)spte;  in __check_direct_spte_mmio_pf()  local
438 	if (sspte.spte_low == 0ull &&  in __check_direct_spte_mmio_pf()
439 	    (sspte.spte_high & high_mmio_mask) == high_mmio_mask)  in __check_direct_spte_mmio_pf()