* Clear all waiter slots in a notification mask. * Uses L4_NILTHREAD (not NULL) for empty thread ID slots. * MUST be called with IRQs disabled. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected