VOID
PushEntryList(
IN PSINGLE_LIST_ENTRY ListHead,
IN PSINGLE_LIST_ENTRY Entry
);
PushEntryList pushes an entry into a singly linked, driver-maintained list.
The ListHead of type SINGLE_LIST_ENTRY is singly linked. It must be
initialized to NULL before the initial entry is pushed.
Callers of PushEntryList can be running at IRQL >= DISPATCH_LEVEL only if the caller-allocated storage for ListHead is resident and only if pointers to every list entry remain valid at IRQL >= DISPATCH_LEVEL as well.