Have async_poke() check whether the poke is necessary.
treed390d270c0885d5e7a932127e709737947d0aefd
-rw-r--r-- 3647 .clang-format
-rw-r--r-- 10825 .gitignore
-rw-r--r-- 2430 .travis.yml
-rw-r--r-- 18096 HelenOS.config
-rw-r--r-- 5115 Makefile
-rw-r--r-- 3706 README.md
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - doxygen
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1950 version