HERMON_NUM_AH_SHIFT
uint32_t hermon_log_num_ah = HERMON_NUM_AH_SHIFT;
#define HERMON_NUM_AH (1 << HERMON_NUM_AH_SHIFT)