A couple fixes: - evict the memory from cache in pmap_page_free(). - make sure to sync cache in pmap_protect() if it marks a modified cacheable   page as read-only.
A couple fixes:
- evict the memory from cache in pmap_page_free().
- make sure to sync cache in pmap_protect() if it marks a modified cacheable
  page as read-only.

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars