getProductName     73 tools/ipmiservicelogd.c char *getProductName(void);
getProductName    295 tools/ipmiservicelogd.c     product_name = getProductName();