X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=f8786e204c29504adcd8ec4bf60f777188f68343;hp=e974503c823a2917de86de47fb518035235e5952;hb=ed58e44a111e3bb28e1b2fefd93fe7955962d682;hpb=a78284b06acb02600e70abe4bb5288b8c2fbf253

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index e974503..f8786e2 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -573,7 +573,7 @@ static int mouse_write_output(struct keyboard_internal * kbd, uint8_t data) {
 
 
 #if KEYBOARD_DEBUG_80H
-static int keyboard_write_delay(ushort_t port, void * src,  uint_t length, void * priv_data) {
+static int keyboard_write_delay(struct guest_info *core, ushort_t port, void * src,  uint_t length, void * priv_data) {
 
     if (length == 1) { 
 	PrintDebug("keyboard: write of 0x%x to 80h\n", *((uint8_t*)src));