df_get_int
debug_level = df_get_int("", B_FALSE, DF_DEBUG_LEVEL);
int df_get_int(const char *, boolean_t, uint_t);
dsmp->dsm_offer_wait = df_get_int(dsmp->dsm_name, isv6,