X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fsimple_pic.c;h=c3539b70a2bed8a6cdf780b6c5c11464e1c1a6c9;hb=159356d2478ab200cda0a0aa726d8f1bfa4ffeeb;hp=a4e25f56fc8e4ac0ad4b808033eb20d979b6fcd5;hpb=e91412faf338dbe40aad6f4df64b98642438d510;p=palacios.git

diff --git a/palacios/src/devices/simple_pic.c b/palacios/src/devices/simple_pic.c
index a4e25f5..c3539b7 100644
--- a/palacios/src/devices/simple_pic.c
+++ b/palacios/src/devices/simple_pic.c
@@ -9,13 +9,13 @@ struct pic_internal {
 };
 
 
-int pic_intr_pending(void * private_data) {
+static int pic_intr_pending(void * private_data) {
   struct pic_internal * data = (struct pic_internal *)private_data;
   
   return (data->pending_irq > 0);
 }
 
-int pic_raise_intr(void * private_data, int irq, int error_code) {
+static int pic_raise_intr(void * private_data, int irq, int error_code) {
   struct pic_internal * data = (struct pic_internal *)private_data;
 
   data->pending_irq = irq;
@@ -25,7 +25,7 @@ int pic_raise_intr(void * private_data, int irq, int error_code) {
 }
 
 
-int pic_get_intr_number(void * private_data) {
+static int pic_get_intr_number(void * private_data) {
   struct pic_internal * data = (struct pic_internal *)private_data;
 
   return data->pending_irq;
@@ -67,7 +67,7 @@ static struct vm_device_ops dev_ops = {
 };
 
 
-struct vm_device * create_pic() {
+struct vm_device * create_simple_pic() {
   struct pic_internal * state = NULL;
   VMMMalloc(struct pic_internal *, state, sizeof(struct pic_internal));