is_rsvd_spte
reserved |= is_rsvd_spte(rsvd_check, sptes[level], level);
WARN_ONCE(is_rsvd_spte(&vcpu->arch.mmu->shadow_zero_check, spte, level),