Copyright headers

Signed-off-by: Lucy <[email protected]>
seL4 · Apr 8, 2022 · e1bcd55 · e1bcd55
1 parent 0905e4f
commit e1bcd55
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 9 deletions.
diff --git a/libsharedringbuffer/CMakeLists.txt b/libsharedringbuffer/CMakeLists.txt
@@ -1,6 +1,6 @@
 #
-# Copyright 2022, Trustworthy Systems, UNSW
-#
+# Copyright 2022, UNSW (ABN 57 195 873 179)
+# SPDX-License-Identifier: BSD-2-Clause
 #
 
 cmake_minimum_required(VERSION 3.7.2)

diff --git a/libsharedringbuffer/README.md b/libsharedringbuffer/README.md
@@ -1,5 +1,6 @@
 <!--
-    Copyright ?
+   Copyright 2022, UNSW (ABN 57 195 873 179)
+   SPDX-License-Identifier: CC-BY-SA-4.0
 -->
 
 libsharedringbuffer

diff --git a/libsharedringbuffer/include/shared_ringbuffer/shared_ringbuffer.h b/libsharedringbuffer/include/shared_ringbuffer/shared_ringbuffer.h
@@ -1,5 +1,7 @@
 /*
- * Copyright 2022, UNSW ???
+ * Copyright 2022, UNSW (ABN 57 195 873 179)
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 
 #pragma once 

diff --git a/libsharedringbuffer/src/shared_ringbuffer.c b/libsharedringbuffer/src/shared_ringbuffer.c
@@ -1,5 +1,7 @@
 /*
- * Copyright 2022, UNSW ??
+ * Copyright 2022, UNSW (ABN 57 195 873 179)
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 
 #include <shared_ringbuffer/shared_ringbuffer.h>

diff --git a/libvirtqueue/include/virtqueue.h b/libvirtqueue/include/virtqueue.h
@@ -188,4 +188,4 @@ int virtqueue_gather_available(virtqueue_device_t *vq, virtqueue_ring_object_t *
  * @return 1 on success, 0 on failure (no more buffer available)
  */
 int virtqueue_gather_used(virtqueue_driver_t *vq, virtqueue_ring_object_t *robj,
-                          void **buf, unsigned *len, vq_flags_t *flag);
+                          void **buf, unsigned *len, vq_flags_t *flag);
diff --git a/libvirtqueue/src/virtqueue.c b/libvirtqueue/src/virtqueue.c
@@ -129,7 +129,6 @@ int virtqueue_add_available_buf(virtqueue_driver_t *vq, virtqueue_ring_object_t
         vq->avail_ring->ring[vq->avail_ring->idx] = idx;
         vq->avail_ring->idx = (vq->avail_ring->idx + 1) & (vq->queue_len - 1);
     }
-
     return 1;
 }
 
@@ -154,7 +153,6 @@ int virtqueue_add_used_buf(virtqueue_device_t *vq, virtqueue_ring_object_t *robj
     vq->used_ring->ring[cur].id = robj->first;
     vq->used_ring->ring[cur].len = len;
     vq->used_ring->idx = (cur + 1) & (vq->queue_len - 1);
-
     return 1;
 }
 
@@ -216,4 +214,4 @@ int virtqueue_gather_used(virtqueue_driver_t *vq, virtqueue_ring_object_t *robj,
     }
     robj->cur = vq_pop_desc(vq, robj->cur, buf, len, flag);
     return 1;
-}
+}