getSerialNumber    74 tools/ipmiservicelogd.c char *getSerialNumber(void);
getSerialNumber   283 tools/ipmiservicelogd.c     serial_number = getSerialNumber();