empty_8042        100 arch/x86/boot/a20.c 	empty_8042();
empty_8042        103 arch/x86/boot/a20.c 	empty_8042();
empty_8042        106 arch/x86/boot/a20.c 	empty_8042();
empty_8042        109 arch/x86/boot/a20.c 	empty_8042();
empty_8042        145 arch/x86/boot/a20.c 	       kbc_err = empty_8042();