Internal notification handler for ktimer_event_create_notify(). * Posts notification to target thread when timer expires. * Returns ticks for periodic rescheduling, or 0 for one-shot. */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected