wfx_get_hif_name
const char *wfx_get_hif_name(unsigned long id);
wfx_get_hif_name(cmd), mib_sep, mib_name, cmd, vif, ret);