Jungo WinDriver  
Official Documentation

◆ KP_FUNC_INT_AT_DPC

typedef DWORD(__cdecl * KP_FUNC_INT_AT_DPC) (PVOID pIntContext, DWORD dwCount)

Returns the number of times to notify user-mode (i.e.

return from WD_IntWait)

Definition at line 37 of file wd_kp.h.