notif_pending short circuits handle_events()
[akaros.git] / tests / kern_tests.h