modify_spte_protections
return modify_spte_protections(spte, shadow_x_mask, shadow_nx_mask);
return modify_spte_protections(spte, shadow_nx_mask, shadow_x_mask);