*** empty log message ***

[palacios.git] / palacios / src / geekos / vmm_io.c

diff --git a/palacios/src/geekos/vmm_io.c b/palacios/src/geekos/vmm_io.c
index 9508ad1..69e4abe 100644 (file)
--- a/palacios/src/geekos/vmm_io.c
+++ b/palacios/src/geekos/vmm_io.c
@@ -68,6 +68,18 @@ void hook_io_port(vmm_io_map_t * io_map, uint_t port,
 }
 
 
+vmm_io_hook_t * get_io_hook(vmm_io_map_t * io_map, uint_t port) {
+  vmm_io_hook_t * tmp_hook;
+  FOREACH_IO_HOOK(*io_map, tmp_hook) {
+    if (tmp_hook->port == port) {
+      return tmp_hook;
+    }
+  }
+  return NULL;
+}
+
+
+
 void PrintDebugIOMap(vmm_io_map_t * io_map) {
   vmm_io_hook_t * iter = io_map->head;