-OSListNode *OSList_GetFirstNode(OSList *);
-OSListNode *OSList_GetLastNode(OSList *);
-OSListNode *OSList_GetPrevNode(OSList *);
-OSListNode *OSList_GetNextNode(OSList *);
-OSListNode *OSList_GetCurrentlyNode(OSList *list);
+OSListNode *OSList_GetFirstNode(OSList *) __attribute__((nonnull));
+OSListNode *OSList_GetLastNode(OSList *) __attribute__((nonnull));
+OSListNode *OSList_GetPrevNode(OSList *) __attribute__((nonnull));
+OSListNode *OSList_GetNextNode(OSList *) __attribute__((nonnull));
+OSListNode *OSList_GetCurrentlyNode(OSList *list) __attribute__((nonnull));