Symbol: dmi_system_event_log