5668
5682
ipmi_time_t timestamp = ipmi_event_get_timestamp(event);
5669
5683
unsigned int data_len = ipmi_event_get_data_len(event);
5670
5684
const unsigned char *data = ipmi_event_get_data_ptr(event);
5673
5687
display_pad_out(" (%x %x) %4.4x:%2.2x %lld:",
5674
5688
mcid.channel, mcid.mc_num, record_id, type, timestamp);