is_rsvd_bits_set  178 arch/x86/kvm/paging_tmpl.h 	if (is_rsvd_bits_set(vcpu->arch.mmu, gpte, PT_PAGE_TABLE_LEVEL))
is_rsvd_bits_set  403 arch/x86/kvm/paging_tmpl.h 		if (unlikely(is_rsvd_bits_set(mmu, pte, walker->level))) {