added comment as to why pte_present is checked in dsm_clear