Symbol: post_one_notification
kernel/watch_queue.c
224
post_one_notification(wqueue, n);
kernel/watch_queue.c
569
post_one_notification(wqueue, &n.watch);