Symbol: hermon_dbr_kern_free
usr/src/uts/common/io/ib/adapters/hermon/hermon_rsrc.c
1244
hermon_dbr_kern_free(state);
usr/src/uts/common/sys/ib/adapters/hermon/hermon_misc.h
631
void hermon_dbr_kern_free(hermon_state_t *state);