Turn ipc_poke() into a regular wakeup on the waitq.
[helenos.git] / kernel / generic / 
tree1191d34226896e16ebd548b6a7f18b870282bbaf
drwxr-xr-x   ..
drwxr-xr-x - include
drwxr-xr-x - src