push_kboard       908 src/keyboard.c         push_kboard (current_kboard);
push_kboard       458 src/keyboard.h extern void push_kboard (struct kboard *);
push_kboard      26900 src/xdisp.c      push_kboard (FRAME_KBOARD (it.f));
push_kboard      27709 src/xdisp.c      push_kboard (FRAME_KBOARD (it.f));
push_kboard       933 test/manual/etags/c-src/emacs/src/keyboard.c         push_kboard (current_kboard);
push_kboard       946 test/manual/etags/c-src/emacs/src/keyboard.c     push_kboard (current_kboard);