Searched refs:spte_high (Results 1 – 1 of 1) sorted by relevance
327 u32 spte_high; member351 ssptep->spte_high = sspte.spte_high; in __set_spte()378 ssptep->spte_high = sspte.spte_high; in __update_clear_spte_fast()391 orig.spte_high = ssptep->spte_high; in __update_clear_spte_slow()392 ssptep->spte_high = sspte.spte_high; in __update_clear_spte_slow()418 spte.spte_high = orig->spte_high; in __get_spte_lockless()439 (sspte.spte_high & high_mmio_mask) == high_mmio_mask) in __check_direct_spte_mmio_pf()