static tapdisk_vbd_queue_ready()

Queue status should be of no concern to drivers nor servers, and
actually isn't. Declare as static, so it can be inlined if
appropriate.

diff --git a/drivers/tapdisk-vbd.c b/drivers/tapdisk-vbd.c
index 8af34f240c4723c6ebb72d245c2bcdef409d9bb4..d0b548b5d8a862f9ef14ea58c9f21f8fe7a55663 100644 (file)
--- a/drivers/tapdisk-vbd.c
+++ b/drivers/tapdisk-vbd.c
@@ -45,6 +45,7 @@
 static void tapdisk_vbd_ring_event(event_id_t, char, void *);
 static void tapdisk_vbd_complete_vbd_request(td_vbd_t *, td_vbd_request_t *);
 static void tapdisk_vbd_callback(void *, blkif_response_t *);
+static int  tapdisk_vbd_queue_ready(td_vbd_t *);
 
 /* 
  * initialization
@@ -960,7 +961,7 @@ tapdisk_vbd_get_image_info(td_vbd_t *vbd, image_t *img)
        return 0;
 }
 
-int
+static int
 tapdisk_vbd_queue_ready(td_vbd_t *vbd)
 {
        return (!td_flag_test(vbd->state, TD_VBD_DEAD) &&

diff --git a/drivers/tapdisk-vbd.h b/drivers/tapdisk-vbd.h
index 8bcc97a46ddc58891aa3f7a15b12503848dda29e..ca67f29ca3be0a1a7bcce4e05aa4018d3aada759 100644 (file)
--- a/drivers/tapdisk-vbd.h
+++ b/drivers/tapdisk-vbd.h
@@ -182,7 +182,6 @@ void tapdisk_vbd_close_vdi(td_vbd_t *);
 void tapdisk_vbd_forward_request(td_request_t);
 
 int tapdisk_vbd_get_image_info(td_vbd_t *, image_t *);
-int tapdisk_vbd_queue_ready(td_vbd_t *);
 int tapdisk_vbd_retry_needed(td_vbd_t *);
 int tapdisk_vbd_quiesce_queue(td_vbd_t *);
 int tapdisk_vbd_start_queue(td_vbd_t *);