__is_rsvd_bits_set 4018 arch/x86/kvm/mmu.c 	return __is_rsvd_bits_set(&mmu->guest_rsvd_check, gpte, level);
__is_rsvd_bits_set 4023 arch/x86/kvm/mmu.c 	return __is_rsvd_bits_set(&mmu->shadow_zero_check, spte, level);