The text 9eb7e9f30bfe, as Debian 5.0 (Lenny) shipped it.
Wait for IOC to set its doorbell interrupt bit
WaitForDoorbellInt(9) on Linux now
