5045 use atomic_{inc,dec}_* instead of atomic_add_*

*** 96,108 ****
  #endif
  };
  typedef struct hat hat_t;
  
  #define PGCNT_INC(hat, level)   \
!         atomic_add_long(&(hat)->hat_pages_mapped[level], 1);
  #define PGCNT_DEC(hat, level)   \
!         atomic_add_long(&(hat)->hat_pages_mapped[level], -1);
  
  /*
   * Flags for the hat_flags field
   *
   * HAT_FREEING - set when HAT is being destroyed - mostly used to detect that
--- 96,108 ----
  #endif
  };
  typedef struct hat hat_t;
  
  #define PGCNT_INC(hat, level)   \
!         atomic_inc_ulong(&(hat)->hat_pages_mapped[level]);
  #define PGCNT_DEC(hat, level)   \
!         atomic_dec_ulong(&(hat)->hat_pages_mapped[level]);
  
  /*
   * Flags for the hat_flags field
   *
   * HAT_FREEING - set when HAT is being destroyed - mostly used to detect that