* Wake thread blocked on SYS_NOTIFY_WAIT with proper semantics. * * This function implements the full notification wake protocol: * 1. Check if thread is T_NOTIFY_BLOCKED (not T_RECV_BLOCKED) * 2. Check if signaled bits match thread's notify_mask * 3. Clear matched bits from notify_bits * 4. Write matched bits to thread's saved R0 (return value) * 5. Clear notify_mask and transition to T_RU
source not stored for this graph (policy: none)
no test coverage detected