getSerialNumber    72 tools/ipmiservicelogd.c char *getSerialNumber(void);
getSerialNumber   288 tools/ipmiservicelogd.c     serial_number = getSerialNumber();