remove_w32_kbdhook 5272 src/w32fns.c         remove_w32_kbdhook ();
remove_w32_kbdhook  783 src/w32term.h  extern void remove_w32_kbdhook (void);