X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=c05b00e06fca10bebd0c527751f04ff70518f50b;hp=7fce87ceb704af9775180b10a3a5a15d0b3c643a;hb=28cfe68985ef4360c9bd7428a19c222b295e9d85;hpb=e67f90ff8dbf5b58cd4930eba8b9907ea6a12d03

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 7fce87c..c05b00e 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -327,7 +327,9 @@ static int key_event_handler(struct guest_info * info,
     if (evt->scan_code == 0x44) { // F10 debug dump
 	v3_print_guest_state(info);
 	//	PrintGuestPageTables(info, info->shdw_pg_state.guest_cr3);
-    } else if (evt->scan_code == 0x43) { // F9 Sym test
+    } 
+#ifdef CONFIG_SYMBIOTIC
+else if (evt->scan_code == 0x43) { // F9 Sym test
 	PrintDebug("Testing sym call\n");
 	sym_arg_t a0 = 0x1111;
 	sym_arg_t a1 = 0x2222;
@@ -345,7 +347,7 @@ static int key_event_handler(struct guest_info * info,
 	sym_arg_t addr = 0;
 	v3_sym_call1(info, SYMCALL_MEM_LOOKUP, &addr);
     }
-
+#endif
 
 
     addr_t irq_state = v3_lock_irqsave(state->kb_lock);