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