Fixed up types

seL4 · Mar 9, 2022 · 1825567 · 1825567
1 parent ded915e
commit 1825567
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/libsharedringbuffer/include/shared_ringbuffer/shared_ringbuffer.h b/libsharedringbuffer/include/shared_ringbuffer/shared_ringbuffer.h
@@ -18,7 +18,7 @@ typedef void (*notify_fn)(void);
 /* Buffer descriptor */
 typedef struct buff_desc {
     uintptr_t encoded_addr; /* encoded dma addresses */
-    unsigned int len; /* associated memory lengths */
+    size_t len; /* associated memory lengths */
     void *cookie; /* index into client side metadata */
 } buff_desc_t;
 
@@ -99,7 +99,7 @@ static inline void notify(ring_handle_t *ring)
  *
  * @return -1 when ring is empty, 0 on success.
  */
-static inline int enqueue(ring_buffer_t *ring, uintptr_t buffer, unsigned int len, void *cookie) 
+static inline int enqueue(ring_buffer_t *ring, uintptr_t buffer, size_t len, void *cookie) 
 {
     if (ring_full(ring)) {
         ZF_LOGE("Ring full");
@@ -128,7 +128,7 @@ static inline int enqueue(ring_buffer_t *ring, uintptr_t buffer, unsigned int le
  *
  * @return -1 when ring is empty, 0 on success.
  */
-static inline int dequeue(ring_buffer_t *ring, uintptr_t *addr, unsigned int *len, void **cookie) 
+static inline int dequeue(ring_buffer_t *ring, uintptr_t *addr, size_t *len, void **cookie) 
 {
     if (ring_empty(ring)) {
         ZF_LOGF("Ring is empty");
@@ -158,7 +158,7 @@ static inline int dequeue(ring_buffer_t *ring, uintptr_t *addr, unsigned int *le
  *
  * @return -1 when ring is empty, 0 on success.
  */
-static inline int enqueue_avail(ring_handle_t *ring, uintptr_t addr, unsigned int len, void *cookie) 
+static inline int enqueue_avail(ring_handle_t *ring, uintptr_t addr, size_t len, void *cookie) 
 {
     return enqueue(ring->avail_ring, addr, len, cookie);
 }
@@ -174,7 +174,7 @@ static inline int enqueue_avail(ring_handle_t *ring, uintptr_t addr, unsigned in
  *
  * @return -1 when ring is empty, 0 on success.
  */
-static inline int enqueue_used(ring_handle_t *ring, uintptr_t addr, unsigned int len, void *cookie) 
+static inline int enqueue_used(ring_handle_t *ring, uintptr_t addr, size_t len, void *cookie) 
 {
     return enqueue(ring->used_ring, addr, len, cookie);
 }
@@ -189,7 +189,7 @@ static inline int enqueue_used(ring_handle_t *ring, uintptr_t addr, unsigned int
  *
  * @return -1 when ring is empty, 0 on success.
  */
-static inline int dequeue_avail(ring_handle_t *ring, uintptr_t *addr, unsigned int *len, void **cookie) 
+static inline int dequeue_avail(ring_handle_t *ring, uintptr_t *addr, size_t *len, void **cookie) 
 {
     return dequeue(ring->avail_ring, addr, len, cookie);
 }
@@ -204,7 +204,7 @@ static inline int dequeue_avail(ring_handle_t *ring, uintptr_t *addr, unsigned i
  *
  * @return -1 when ring is empty, 0 on success.
  */
-static inline int dequeue_used(ring_handle_t *ring, uintptr_t *addr, unsigned int *len, void **cookie) 
+static inline int dequeue_used(ring_handle_t *ring, uintptr_t *addr, size_t *len, void **cookie) 
 {
     return dequeue(ring->used_ring, addr, len, cookie);
 }
@@ -222,7 +222,7 @@ static inline int dequeue_used(ring_handle_t *ring, uintptr_t *addr, unsigned in
  * @return -1 when ring is empty, 0 on success.
  */
 
-static int driver_dequeue(ring_buffer_t *ring, uintptr_t *addr, unsigned int *len, void **pointer)
+static int driver_dequeue(ring_buffer_t *ring, uintptr_t *addr, size_t *len, void **pointer)
 {
     if (!((ring->write_idx - ring->read_idx) % CONFIG_LIB_SHARED_RINGBUFFER_DESC_COUNT)) {
         ZF_LOGW("Ring is empty");