get_rsvd_bits
get_rsvd_bits(rsvd_check, sptes[level], level));
get_rsvd_bits(&vcpu->arch.mmu->shadow_zero_check, spte, level));
return pte & get_rsvd_bits(rsvd_check, pte, level);