Symbol: __is_bad_mt_xwr
arch/x86/kvm/mmu/paging_tmpl.h
141
return __is_bad_mt_xwr(rsvd_check, gpte);
arch/x86/kvm/mmu/spte.h
396
return __is_bad_mt_xwr(rsvd_check, spte) ||