Searched refs:get_rsvd_bits (Results 1 – 3 of 3) sorted by relevance
318 static inline u64 get_rsvd_bits(struct rsvd_bits_validate *rsvd_check, u64 pte, in get_rsvd_bits() function329 return pte & get_rsvd_bits(rsvd_check, pte, level); in __is_rsvd_bits_set()
229 get_rsvd_bits(&vcpu->arch.mmu->shadow_zero_check, spte, level)); in make_spte()
4026 get_rsvd_bits(rsvd_check, sptes[level], level)); in get_mmio_spte()