kbc_err           131 arch/x86/boot/a20.c        int kbc_err;
kbc_err           145 arch/x86/boot/a20.c 	       kbc_err = empty_8042();
kbc_err           150 arch/x86/boot/a20.c 	       if (!kbc_err) {