ret = hv_ringbuffer_write(&channel->outbound, bufferlist, 3);
 
        /* TODO: We should determine if this is optional */
-       if (ret == 0 && !get_ringbuffer_interrupt_mask(&channel->outbound))
+       if (ret == 0 && !hv_get_ringbuffer_interrupt_mask(&channel->outbound))
                vmbus_setevent(channel);
 
        return ret;
        ret = hv_ringbuffer_write(&channel->outbound, bufferlist, 3);
 
        /* TODO: We should determine if this is optional */
-       if (ret == 0 && !get_ringbuffer_interrupt_mask(&channel->outbound))
+       if (ret == 0 && !hv_get_ringbuffer_interrupt_mask(&channel->outbound))
                vmbus_setevent(channel);
 
        return ret;
        ret = hv_ringbuffer_write(&channel->outbound, bufferlist, 3);
 
        /* TODO: We should determine if this is optional */
-       if (ret == 0 && !get_ringbuffer_interrupt_mask(&channel->outbound))
+       if (ret == 0 && !hv_get_ringbuffer_interrupt_mask(&channel->outbound))
                vmbus_setevent(channel);
 
        return ret;
 
 /*++
 
 Name:
-       get_ringbuffer_interrupt_mask()
+       hv_get_ringbuffer_interrupt_mask()
 
 Description:
        Get the interrupt mask for the specified ring buffer
 
 --*/
-u32 get_ringbuffer_interrupt_mask(struct hv_ring_buffer_info *rbi)
+u32 hv_get_ringbuffer_interrupt_mask(struct hv_ring_buffer_info *rbi)
 {
        return rbi->ring_buffer->interrupt_mask;
 }
 
                   u32 buflen,
                   u32 offset);
 
-u32 get_ringbuffer_interrupt_mask(struct hv_ring_buffer_info *ring_info);
+u32 hv_get_ringbuffer_interrupt_mask(struct hv_ring_buffer_info *ring_info);
 
 void dump_ring_info(struct hv_ring_buffer_info *ring_info, char *prefix);