X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;fp=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=5cef405bafbb4dc4abc235d9b080b3602ad9688e;hb=d3f9dd3b223729a81918a0df0dadf72015739c6c;hp=639e113a0a013deb2e2e704bbf6e7733ce19c326;hpb=2693dbc32a15e21af5e648f6a3d98ecd962ac029;p=palacios.git

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 639e113..5cef405 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -309,7 +309,13 @@ static int key_event_handler(struct guest_info * info,
     struct keyboard_internal *state = (struct keyboard_internal *)(dev->private_data);
 
     PrintDebug("keyboard: injected status 0x%x, and scancode 0x%x\n", evt->status, evt->scan_code);
-  
+
+
+    if (evt->scan_code == 0x44) { // F10 debug dump
+	v3_print_guest_state(info);
+	//	PrintGuestPageTables(info, info->shdw_pg_state.guest_cr3);
+    }
+
     if ( (state->status_byte & STATUS_ENABLED)      // onboard is enabled
 	 && (!(state->cmd_byte & CMD_DISABLE)) )  {   // keyboard is enabled