fEventDeliverer
if (fEventDeliverer >= 0) {
wait_for_thread(fEventDeliverer, &result);
fEventDeliverer = spawn_thread(&_EventDelivererEntry,
fEventDeliverer = spawn_kernel_thread(&_EventDelivererEntry,
if (fEventDeliverer < 0)
return fEventDeliverer;
resume_thread(fEventDeliverer);
thread_id fEventDeliverer;