Returns the number of times to notify user-mode (i.e.
return from WD_IntWait)
Definition at line 37 of file wd_kp.h.