* Notification post syscall handler. * Signals notification bits to target thread. * * Parameters: * R0: target_tid - thread to notify (global ID) * R1: bits - notification bits to signal * * Returns (R0): * 1 on success * 0 on failure (invalid thread or bits) * * Blocking: No - returns immediately * * Performance: * - thread_by_globalid(): O(1) lookup * - notification_s
source not stored for this graph (policy: none)
no test coverage detected