w32_kbd_patch_key 4526 src/w32fns.c   		      add = w32_kbd_patch_key (&key, w32_keyboard_codepage);
w32_kbd_patch_key 4536 src/w32fns.c   			  w32_kbd_patch_key (&key, w32_keyboard_codepage);
w32_kbd_patch_key  322 src/w32inevt.c 	    w32_kbd_patch_key (event, -1);
w32_kbd_patch_key  260 src/w32term.h  extern int w32_kbd_patch_key (KEY_EVENT_RECORD *event, int cpId);