Searched refs:get_rsvd_bits (Results 1 – 3 of 3) sorted by relevance
290 static inline u64 get_rsvd_bits(struct rsvd_bits_validate *rsvd_check, u64 pte, in get_rsvd_bits() function301 return pte & get_rsvd_bits(rsvd_check, pte, level); in __is_rsvd_bits_set()
182 get_rsvd_bits(&vcpu->arch.mmu->shadow_zero_check, spte, level)); in make_spte()
3838 get_rsvd_bits(rsvd_check, sptes[level], level)); in get_mmio_spte()
Completed in 16 milliseconds