-void eventlog(const char *keyword, ...);
-void eventlog_raw(const char *keyword, const char *raw, ...);
-/* send a message to the event log */
+/** @brief Send a message to the event log
+ * @param keyword Distinguishing keyword for event
+ * @param raw Unformatted data
+ * @param ... Extra data, terminated by (char *)0
+ */
+void eventlog_raw(const char *keyword, const char *raw, ...)
+ attribute((nonnull(1, 2)));