Searched refs:ipmi_sel_get_time (Results 1 – 3 of 3) sorted by relevance
87 ipmi_sel_get_time;
121 ipmi_sel_get_time(ipmi_handle_t *ihp, uint32_t *tp) in ipmi_sel_get_time() function
499 extern int ipmi_sel_get_time(ipmi_handle_t *, uint32_t *);