rm compilation warnings, clean comments, file rename
authorSam Sortais <sam.sortais@xilinx.com>
Sat, 5 Mar 2016 02:15:27 +0000 (18:15 -0800)
committerSam Sortais <sam.sortais@xilinx.com>
Mon, 7 Mar 2016 22:59:43 +0000 (14:59 -0800)
Signed-off-by: Sam Sortais <sam.sortais@xilinx.com>
19 files changed:
lib/common/firmware.c
lib/common/hil.c
lib/include/openamp/system/generic/machine/zynq7/machine_system.h
lib/proxy/rpmsg_retarget.c
lib/remoteproc/drivers/zynq_a9_trampoline.S
lib/remoteproc/drivers/zynq_remoteproc_a9.c
lib/remoteproc/drivers/zynqmp_remoteproc_a53.c
lib/remoteproc/elf_loader.c
lib/remoteproc/remoteproc.c
lib/remoteproc/rsc_table_parser.c
lib/rpmsg/remote_device.c
lib/rpmsg/rpmsg.c
lib/rpmsg/rpmsg_core.c
lib/system/generic/CMakeLists.txt
lib/system/generic/env.c [moved from lib/system/generic/bm_env.c with 97% similarity]
lib/system/generic/machine/zynqmp_r5/CMakeLists.txt
lib/system/generic/machine/zynqmp_r5/machine_system.c
lib/virtio/virtio.c
lib/virtio/virtqueue.c

index e3edd6dfef5e32bf38ccd6a822fec38814a47db4..0c0fb21cc88d1a3ffd6109cc240f3754a4ccd98e 100644 (file)
@@ -85,7 +85,7 @@ const struct firmware_info fw_table[] = { {"firmware1",
 int config_get_firmware(char *fw_name, unsigned int *start_addr,
                        unsigned int *size)
 {
-       int idx;
+       unsigned int idx;
        for (idx = 0; idx < sizeof(fw_table) / (sizeof(struct firmware_info));
             idx++) {
                if (!env_strncmp((char *)fw_table[idx].name, fw_name,
index 661418f80296b0639065d373f96e420bba99f5eb..64e7ac53a626af0a319d4161ad20a843dfc256e0 100644 (file)
@@ -80,7 +80,7 @@ struct hil_proc *hil_create_proc(int cpu_id)
        /* If proc already exists then return it */
        while (proc_hd != NULL) {
                proc = (struct hil_proc *)proc_hd->data;
-               if (proc->cpu_id == cpu_id) {
+               if (proc->cpu_id == (unsigned int)cpu_id) {
                        return proc;
                }
                proc_hd = proc_hd->next;
@@ -198,7 +198,7 @@ struct hil_proc *hil_get_proc(int cpu_id)
 
        while (proc_hd != NULL) {
                struct hil_proc *proc = (struct hil_proc *)proc_hd->data;
-               if (proc->cpu_id == cpu_id) {
+               if (proc->cpu_id == (unsigned int)cpu_id) {
                        return proc;
                }
                proc_hd = proc_hd->next;
@@ -340,6 +340,8 @@ void hil_vring_notify(struct virtqueue *vq)
  */
 int hil_get_status(struct hil_proc *proc)
 {
+       (void)proc;
+
        /* For future use only. */
        return 0;
 }
@@ -356,6 +358,8 @@ int hil_get_status(struct hil_proc *proc)
  */
 int hil_set_status(struct hil_proc *proc)
 {
+       (void)proc;
+
        /* For future use only. */
        return 0;
 }
index 8b67da644f08fdbc0b1e39ca1c0468737a9b43f1..b0aa296b05b8a5291d9adebec88567ff5d11ab0c 100755 (executable)
@@ -65,16 +65,5 @@ static inline unsigned int xchg(void* plock, unsigned int lockVal)
        return tmpVal;
 }
 
-void restore_global_interrupts();
-void disable_global_interrupts();
-int platform_interrupt_enable(unsigned int vector, unsigned int polarity,
-                             unsigned int priority);
-int platform_interrupt_disable(unsigned int vector);
-void platform_cache_all_flush_invalidate();
-void platform_cache_disable();
-void platform_map_mem_region(unsigned int va, unsigned int pa,
-                            unsigned int size, unsigned int flags);
-unsigned long platform_vatopa(void *addr);
-void *platform_patova(unsigned long addr);
 
-#endif                         /* _BAREMETAL_H */
+#endif                         /* _MACHINE_SYSTEM_H */
index d7d6f5dddbb96d6afaccfb63099c76eb856f07f7..c0e8cceb145bc127f62a538658c3b6707034ca2c 100644 (file)
  *     such as _open, _read, _write, _close.
  *************************************************************************/
 static struct _rpc_data *rpc_data;
-static unsigned int rpc_data_synclock = 0;
+
 int get_response = 0;
 
 int send_rpc(void *data, int len);
-static int rpc_count = 0;
 
 void rpc_cb(struct rpmsg_channel *rtl_rp_chnl, void *data, int len, void *priv,
            unsigned long src)
 {
+       (void)priv;
+       (void)src;
+
        memcpy(rpc_data->rpc_response, data, len);
        env_release_sync_lock(rpc_data->sync_lock);
        get_response = 1;
@@ -66,6 +68,8 @@ int rpmsg_retarget_init(struct rpmsg_channel *rp_chnl, rpc_shutdown_cb cb)
 
 int rpmsg_retarget_deinit(struct rpmsg_channel *rp_chnl)
 {
+       (void)rp_chnl;
+
        env_free_memory(rpc_data->rpc);
        env_free_memory(rpc_data->rpc_response);
        env_delete_mutex(rpc_data->rpc_lock);
index 515cf30941cb5865e2f2ff2c20323cba270bcdc2..ad480c80c81f6ca9e352e83b1b5d26429c3f9a7d 100644 (file)
@@ -36,4 +36,3 @@ zynq_trampoline_jump:
        .word
 .global zynq_trampoline_end
 zynq_trampoline_end:
-
index aab8f9f6b820f91bb4a5092d60fbb6abe2651171..3fa022255cdde860381874158c2278c3840e0171 100644 (file)
@@ -40,6 +40,7 @@
  **************************************************************************/
 
 #include "openamp/hil.h"
+#include "openamp/machine/machine_common.h"
 
 /* ------------------------- Macros --------------------------*/
 #define ESAL_DP_SLCR_BASE                  0xF8000000
@@ -80,14 +81,13 @@ static int _enable_interrupt(struct proc_vring *vring_hw);
 static void _notify(int cpu_id, struct proc_intr *intr_info);
 static int _boot_cpu(int cpu_id, unsigned int load_addr);
 static void _shutdown_cpu(int cpu_id);
-static void platform_isr(int vect_id, void *data);
 
 /*--------------------------- Globals ---------------------------------- */
 struct hil_platform_ops proc_ops = {
        .enable_interrupt = _enable_interrupt,
-       .notify = _notify,
-       .boot_cpu = _boot_cpu,
-       .shutdown_cpu = _shutdown_cpu,
+       .notify           = _notify,
+       .boot_cpu         = _boot_cpu,
+       .shutdown_cpu     = _shutdown_cpu,
 };
 
 static int _enable_interrupt(struct proc_vring *vring_hw)
@@ -173,6 +173,3 @@ static void _shutdown_cpu(int cpu_id)
 }
 
 
-
-
-
index acfaa38a76f1440a6d3fe8c8712e2479b0cd2411..675f3f6d9ad5995a9f8790efea558075ec30e5f9 100644 (file)
@@ -51,20 +51,21 @@ struct ipi_info {
 
 /*--------------------------- Declare Functions ------------------------ */
 static int _enable_interrupt(struct proc_vring *vring_hw);
+static void _reg_ipi_after_deinit(struct proc_vring *vring_hw);
 static void _notify(int cpu_id, struct proc_intr *intr_info);
 static int _boot_cpu(int cpu_id, unsigned int load_addr);
 static void _shutdown_cpu(int cpu_id);
+
 static void _ipi_handler(int vect_id, void *data);
 static void _ipi_handler_deinit(int vect_id, void *data);
-static void _reg_ipi_after_deinit(struct proc_vring *vring_hw);
 
 /*--------------------------- Globals ---------------------------------- */
 struct hil_platform_ops proc_ops = {
-       .enable_interrupt = _enable_interrupt,
+       .enable_interrupt     = _enable_interrupt,
        .reg_ipi_after_deinit = _reg_ipi_after_deinit,
-       .notify = _notify,
-       .boot_cpu = _boot_cpu,
-       .shutdown_cpu = _shutdown_cpu,
+       .notify               = _notify,
+       .boot_cpu             = _boot_cpu,
+       .shutdown_cpu         = _shutdown_cpu,
 };
 
 /* Extern functions defined out from OpenAMP lib */
@@ -157,6 +158,7 @@ static void _notify(int cpu_id, struct proc_intr *intr_info)
                return;
        platform_dcache_all_flush();
        env_wmb();
+
        /* Trigger IPI */
        HIL_MEM_WRITE32((chn_ipi_info->ipi_base_addr + IPI_TRIG_OFFSET),
                        chn_ipi_info->ipi_chn_mask);
@@ -191,8 +193,10 @@ static void _shutdown_cpu(int cpu_id)
 int platform_get_processor_info(struct hil_proc *proc , int cpu_id)
 {
        int idx;
+       unsigned int u_cpu_id = cpu_id;
+
        for(idx = 0; idx < proc_table_size; idx++) {
-               if((cpu_id == HIL_RSVD_CPU_ID) || (proc_table[idx].cpu_id == cpu_id) ) {
+               if ((u_cpu_id == HIL_RSVD_CPU_ID) || (proc_table[idx].cpu_id == u_cpu_id)) {
                        env_memcpy(proc,&proc_table[idx], sizeof(struct hil_proc));
                        return 0;
                }
index cc46d81ac025895fd4e9d5c802aed7bb9662ef53..dba9e367f56fb72f9bd901f8d15b352e7dfa5d99 100644 (file)
@@ -367,7 +367,7 @@ static int elf_loader_relocs_specific(struct elf_decode_info *elf_info,
 
        unsigned char *section_load_addr = (unsigned char *)section->sh_addr;
        int status = 0;
-       int i;
+       unsigned int i;
 
        /* Check the section type. */
        if (section->sh_type == SHT_REL) {
index 1d82e4d8c1421d870cfda4fbc32762bee5afd26f..be2d6b714243d68809969d1123b95697478f1a5d 100644 (file)
@@ -145,14 +145,6 @@ int remoteproc_resource_deinit(struct remote_proc *rproc)
 
        env_deinit();
 
-       /* Disable the caches - This is required if master boots firmwares
-        * multiple times without hard reset on same core. If caches are
-        * not invalidated at this point in time then subsequent firmware
-        * boots on the same core may experience cache inconsistencies.
-        *
-        */
-       /* env_disable_cache(); */
-
        /*
         * Flush and Invalidate the caches - When the application is built with
         * Xilinx Standalone BSP, caches are invalidated as part of boot process.
index 420a6ff58ed164227e469797d491f4525b5787c5..ae463173f5baf8e956f8540d7edce9be82e24968 100644 (file)
@@ -57,12 +57,13 @@ int handle_rsc_table(struct remote_proc *rproc,
        unsigned char *rsc_start;
        unsigned int *rsc_offset;
        unsigned int rsc_type;
-       int idx, status = 0;
+       unsigned int idx;
+       int status = 0;
 
        /* Validate rsc table header fields */
 
        /* Minimum rsc table size */
-       if (sizeof(struct resource_table) > size) {
+       if (sizeof(struct resource_table) > (unsigned int)size) {
                return (RPROC_ERR_RSC_TAB_TRUNC);
        }
 
@@ -73,7 +74,7 @@ int handle_rsc_table(struct remote_proc *rproc,
 
        /* Offset array */
        if (sizeof(struct resource_table)
-           + rsc_table->num * sizeof(rsc_table->offset[0]) > size) {
+           + rsc_table->num * sizeof(rsc_table->offset[0]) > (unsigned int)size) {
                return (RPROC_ERR_RSC_TAB_TRUNC);
        }
 
@@ -145,6 +146,9 @@ int handle_carve_out_rsc(struct remote_proc *rproc, void *rsc)
  */
 int handle_trace_rsc(struct remote_proc *rproc, void *rsc)
 {
+       (void)rproc;
+       (void)rsc;
+
        return RPROC_ERR_RSC_TAB_NS;
 }
 
@@ -161,6 +165,9 @@ int handle_trace_rsc(struct remote_proc *rproc, void *rsc)
  */
 int handle_dev_mem_rsc(struct remote_proc *rproc, void *rsc)
 {
+       (void)rproc;
+       (void)rsc;
+
        return RPROC_ERR_RSC_TAB_NS;
 }
 
@@ -237,5 +244,8 @@ int handle_vdev_rsc(struct remote_proc *rproc, void *rsc)
  */
 int handle_mmu_rsc(struct remote_proc *rproc, void *rsc)
 {
+       (void)rproc;
+       (void)rsc;
+
        return RPROC_ERR_RSC_TAB_NS;
 }
index e302c9ea985ccfddd2e08c60037ec7a9fc00a859..9538644788628719dc2752f9209432a5bbb88489 100644 (file)
@@ -430,6 +430,9 @@ int rpmsg_rdev_create_virtqueues(struct virtio_device *dev, int flags, int nvqs,
        struct llist node;
        int idx, num_vrings, status;
 
+       (void)flags;
+       (void)vqs_;
+
        rdev = (struct remote_device *)dev;
 
        /* Get the vring HW info for the given virtio device */
@@ -501,12 +504,14 @@ int rpmsg_rdev_create_virtqueues(struct virtio_device *dev, int flags, int nvqs,
 
 unsigned char rpmsg_rdev_get_status(struct virtio_device *dev)
 {
+       (void)dev;
        return 0;
 }
 
 void rpmsg_rdev_set_status(struct virtio_device *dev, unsigned char status)
 {
-
+       (void)dev;
+       (void)status;
 }
 
 uint32_t rpmsg_rdev_get_feature(struct virtio_device *dev)
@@ -522,6 +527,9 @@ void rpmsg_rdev_set_feature(struct virtio_device *dev, uint32_t feature)
 uint32_t rpmsg_rdev_negotiate_feature(struct virtio_device *dev,
                                      uint32_t features)
 {
+       (void)dev;
+       (void)features;
+
        return 0;
 }
 
@@ -533,16 +541,28 @@ uint32_t rpmsg_rdev_negotiate_feature(struct virtio_device *dev,
 void rpmsg_rdev_read_config(struct virtio_device *dev, uint32_t offset,
                            void *dst, int length)
 {
+       (void)dev;
+       (void)offset;
+       (void)dst;
+       (void)length;
+
        return;
 }
 
 void rpmsg_rdev_write_config(struct virtio_device *dev, uint32_t offset,
                             void *src, int length)
 {
+       (void)dev;
+       (void)offset;
+       (void)src;
+       (void)length;
+
        return;
 }
 
 void rpmsg_rdev_reset(struct virtio_device *dev)
 {
+       (void)dev;
+
        return;
 }
index 4fff6312439544b0bd78e11642dd6d6f3a6fbf0b..6691a890212277a36c0e58906a7e5d0343cff80a 100644 (file)
@@ -188,7 +188,7 @@ int rpmsg_send_offchannel_raw(struct rpmsg_channel *rp_chnl, unsigned long src,
 
                if (status == RPMSG_SUCCESS) {
                        //FIXME : may be just copy the data size equal to buffer length and Tx it.
-                       if (size > (buff_len - sizeof(struct rpmsg_hdr)))
+                       if ((unsigned int)size > (buff_len - sizeof(struct rpmsg_hdr)))
                                status = RPMSG_ERR_BUFF_SIZE;
 
                        if (status == RPMSG_SUCCESS) {
index 226c28bfbf0045de816e54a1559f089b5b6563dd..4279637018fdc4cf96e22be540fbf93252397c8d 100644 (file)
@@ -253,13 +253,13 @@ struct rpmsg_endpoint *_create_endpoint(struct remote_device *rdev,
                }
        } else {
                addr = rpmsg_get_address(rdev->bitmap, RPMSG_ADDR_BMP_SIZE);
-               if (addr < 0) {
+               if ((int)addr < 0) {
                        status = RPMSG_ERR_DEV_ADDR;
                }
        }
 
        /* Do cleanup in case of error and return */
-       if (status) {
+       if (RPMSG_SUCCESS != status) {
                env_free_memory(node);
                env_free_memory(rp_ept);
                env_unlock_mutex(rdev->lock);
@@ -642,6 +642,9 @@ void rpmsg_ns_callback(struct rpmsg_channel *server_chnl, void *data, int len,
        struct rpmsg_ns_msg *ns_msg;
        struct llist *node;
 
+       (void)server_chnl;
+       (void)src;
+
        rdev = (struct remote_device *)priv;
 
        //FIXME: This assumes same name string size for channel name both on master
index 46ab454db57d611ebe4eaf70d60d68537b2ccfd4..afd06ab43de369c9e26cb7ca1cf1aadf38a7fc41 100644 (file)
@@ -1,2 +1,2 @@
-collect (PROJECT_LIB_SOURCES bm_env.c)
+collect (PROJECT_LIB_SOURCES env.c)
 add_subdirectory (machine)
similarity index 97%
rename from lib/system/generic/bm_env.c
rename to lib/system/generic/env.c
index fff9bb5176fdbb3bc6bb6e4e149814256f8fcdc7..20e0897882c7898d90f7421372aada3ea2942630 100755 (executable)
@@ -31,7 +31,7 @@
 /**************************************************************************
  * FILE NAME
  *
- *       bm_env.c
+ *       env.c
  *
  *
  * DESCRIPTION
@@ -237,6 +237,9 @@ void *env_map_patova(unsigned long address)
  */
 int env_create_mutex(void **lock, int count)
 {
+       (void)lock;
+       (void)count;
+
        return 0;
 }
 
@@ -248,6 +251,7 @@ int env_create_mutex(void **lock, int count)
  */
 void env_delete_mutex(void *lock)
 {
+       (void)lock;
 }
 
 /**
@@ -258,6 +262,8 @@ void env_delete_mutex(void *lock)
  */
 void env_lock_mutex(void *lock)
 {
+       (void)lock;
+
        env_disable_interrupts();
 }
 
@@ -269,6 +275,7 @@ void env_lock_mutex(void *lock)
 
 void env_unlock_mutex(void *lock)
 {
+       (void)lock;
        env_restore_interrupts();
 }
 
@@ -337,6 +344,7 @@ void env_release_sync_lock(void *lock)
 
 void env_sleep_msec(int num_msec)
 {
+       (void)num_msec; /* TODO: implement sleep_msec*/
 
 }
 
@@ -454,7 +462,7 @@ void env_enable_interrupt(unsigned int vector, unsigned int priority,
        env_disable_interrupts();
 
        for (idx = 0; idx < ISR_COUNT; idx++) {
-               if (isr_table[idx].vector == vector) {
+               if (isr_table[idx].vector == (int)vector) {
                        isr_table[idx].priority = priority;
                        isr_table[idx].type = polarity;
                        platform_interrupt_enable(vector, polarity, priority);
@@ -502,7 +510,7 @@ void env_map_memory(unsigned int pa, unsigned int va, unsigned int size,
  *
  */
 
-void env_disable_cache()
+void env_disable_cache(void)
 {
        platform_cache_all_flush_invalidate();
        platform_cache_disable();
@@ -564,7 +572,7 @@ void bm_env_isr(int vector)
  */
 static void acquire_spin_lock(void *plock)
 {
-       const int lockVal = 0;
+       const unsigned int lockVal = 0;
        volatile unsigned int retVal;
 
        do {
index 8e66904e7641fca3e82bab04028f3660540fe51f..5558ac47df497d0395024baa6a1f29dfdacb276e 100644 (file)
@@ -1,3 +1,2 @@
 
 collect (PROJECT_LIB_SOURCES machine_system.c)
-
index 4a8e1fa62ebc6fb1e11e7ed21a8ba85af98346a3..96867c0172853bde90c76116a0bdfb0b98b458da 100755 (executable)
 int platform_interrupt_enable(unsigned int vector, unsigned int polarity,
                              unsigned int priority)
 {
+       (void)polarity;
+       (void)priority;
+
        XScuGic_EnableIntr(XPAR_SCUGIC_0_DIST_BASEADDR, vector);
-       return (vector);
+       return (int)vector;
 }
 
 int platform_interrupt_disable(unsigned int vector)
 {
        XScuGic_DisableIntr(XPAR_SCUGIC_0_DIST_BASEADDR, vector);
-       return (vector);
+       return (int)vector;
 }
 
 void platform_dcache_all_flush()
@@ -105,6 +108,8 @@ void platform_map_mem_region(unsigned int va, unsigned int pa,
 {
        unsigned int r5_flags;
 
+       (void)va; 
+
        /* Assume DEVICE_SHARED if nothing indicates this is memory.  */
        r5_flags = DEVICE_SHARED;
        if (flags & SHARED_MEM) {
@@ -193,6 +198,9 @@ void platform_isr(int vect_id, void * data)
 __attribute__ ((weak))
 int _fstat(int file, struct stat *st)
 {
+       (void)file;
+       (void)st;
+
        return (0);
 }
 
@@ -212,6 +220,8 @@ int _fstat(int file, struct stat *st)
 __attribute__ ((weak))
 int _isatty(int file)
 {
+       (void)file;
+
        return (1);
 }
 
@@ -233,6 +243,10 @@ int _isatty(int file)
 __attribute__ ((weak))
 int _lseek(int file, int ptr, int dir)
 {
+       (void)file;
+       (void)ptr;
+       (void)dir;
+
        return (0);
 }
 
@@ -252,6 +266,10 @@ int _lseek(int file, int ptr, int dir)
 __attribute__ ((weak))
 int _open(const char *filename, int flags, int mode)
 {
+       (void)filename;
+       (void)flags;
+       (void)mode;
+
        /* Any number will work. */
        return (1);
 }
@@ -271,6 +289,8 @@ int _open(const char *filename, int flags, int mode)
 __attribute__ ((weak))
 int _close(int file)
 {
+       (void)file;
+
        return (-1);
 }
 
@@ -289,6 +309,10 @@ int _close(int file)
 __attribute__ ((weak))
 int _read(int fd, char *buffer, int buflen)
 {
+       (void)fd;
+       (void)buffer;
+       (void)buflen;
+
        return -1;
 }
 
@@ -308,6 +332,10 @@ int _read(int fd, char *buffer, int buflen)
 __attribute__ ((weak))
 int _write(int file, const char *ptr, int len)
 {
+       (void)file;
+       (void)ptr;
+       (void)len;
+
        return 0;
 }
 #endif
index c79ca4886241a13b30c90b2072ac1d782540f94a..8f2223a67897b93287090d4c09e00d65e3d1022e 100644 (file)
@@ -91,6 +91,10 @@ static const char *virtio_feature_name(unsigned long val,
 void virtio_describe(struct virtio_device *dev, const char *msg,
                     uint32_t features, struct virtio_feature_desc *desc)
 {
+       (void)dev;
+       (void)msg;
+       (void)features;
+
        // TODO: Not used currently - keeping it for future use
        virtio_feature_name(0, desc);
 }
index cf8588a2bdbcec2e647b0d398e65a3e10cc9f4bf..b9b76de940d20a7c0c62cd60eb26cf3a203569e7 100644 (file)
@@ -168,10 +168,11 @@ int virtqueue_add_buffer(struct virtqueue *vq, struct llist *buffer,
                vq->vq_desc_head_idx = idx;
                vq->vq_free_cnt -= needed;
 
-               if (vq->vq_free_cnt == 0)
+               if (vq->vq_free_cnt == 0) {
                        VQ_RING_ASSERT_CHAIN_TERM(vq);
-               else
+               } else {
                        VQ_RING_ASSERT_VALID_IDX(vq, idx);
+               }
 
                /*
                 * Update vring_avail control block fields so that other
@@ -239,10 +240,11 @@ int virtqueue_add_single_buffer(struct virtqueue *vq, void *cookie,
                vq->vq_desc_head_idx = idx;
                vq->vq_free_cnt--;
 
-               if (vq->vq_free_cnt == 0)
+               if (vq->vq_free_cnt == 0) {
                        VQ_RING_ASSERT_CHAIN_TERM(vq);
-               else
+               } else {
                        VQ_RING_ASSERT_VALID_IDX(vq, idx);
+               }
 
                vq_ring_update_avail(vq, head_idx);
        }
@@ -369,7 +371,7 @@ int virtqueue_add_consumed_buffer(struct virtqueue *vq, uint16_t head_idx,
        struct vring_used_elem *used_desc = VQ_NULL;
        uint16_t used_idx;
 
-       if ((head_idx > vq->vq_nentries) || (head_idx < 0)) {
+       if (head_idx > vq->vq_nentries) {
                return (ERROR_VRING_NO_BUFF);
        }
 
@@ -512,6 +514,8 @@ static uint16_t vq_ring_add_buffer(struct virtqueue *vq,
        int i, needed;
        uint16_t idx;
 
+       (void)vq;
+
        needed = readable + writable;
 
        for (i = 0, idx = head_idx; (i < needed && buffer != VQ_NULL);
@@ -550,8 +554,9 @@ static void vq_ring_free_chain(struct virtqueue *vq, uint16_t desc_idx)
        dp = &vq->vq_ring.desc[desc_idx];
        dxp = &vq->vq_descx[desc_idx];
 
-       if (vq->vq_free_cnt == 0)
+       if (vq->vq_free_cnt == 0) {
                VQ_RING_ASSERT_CHAIN_TERM(vq);
+       }
 
        vq->vq_free_cnt += dxp->ndescs;
        dxp->ndescs--;