* Delete notification mask (event flags group). * Removes all waiters without notification. Safe to call even if threads * are waiting (slots cleared with L4_NILTHREAD). * IRQ-safe. */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected