From f106c63759d36d44f09fbe003f5c5259ecac212a Mon Sep 17 00:00:00 2001 From: Matthias Kruk Date: Fri, 1 May 2020 10:35:12 +0900 Subject: [PATCH] kernel/kbd: Add debug output to see what's going on in kbd_main() --- kernel/kbd/main.c | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/kernel/kbd/main.c b/kernel/kbd/main.c index dd93a54..d898320 100644 --- a/kernel/kbd/main.c +++ b/kernel/kbd/main.c @@ -29,7 +29,13 @@ int _int_register(void) void _kbd_int_handler(int signal) { + char buf[64]; + int len; + debug("It works?\n", 10); + len = snprintf(buf, sizeof(buf), "%s: EIP = %p\n", __func__, *(((unsigned int*)&signal) - 1)); + + debug(buf, len); } int kbd_main(int argc, char *argv[]) @@ -45,8 +51,13 @@ int kbd_main(int argc, char *argv[]) while(1) { err = cxrecv(PID_ANY, &msg); + debug("Test\n", 5); + if(err > 0) { /* FIXME: Handle received message */ + debug("cxrecv() > 0\n", 13); + } else { + debug("cxrecv() <= 0\n", 14); } } } else { -- 2.47.3