push_kboard       932 src/keyboard.c         push_kboard (current_kboard);
push_kboard       475 src/keyboard.h extern void push_kboard (struct kboard *);
push_kboard      27163 src/xdisp.c      push_kboard (FRAME_KBOARD (it.f));
push_kboard      27972 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);