fmt

Author: Udit8348

kernel/include/vx_spawn.h

@@ -14,8 +14,8 @@
 #ifndef __VX_SPAWN_H__
 #define __VX_SPAWN_H__
 
-#include <stdint.h>
 #include <vx_intrinsics.h>
+#include <stdint.h>
 
 #ifdef __cplusplus
 extern "C" {
@@ -43,23 +43,23 @@ typedef void (*vx_kernel_func_cb)(void *arg);
 typedef void (*vx_serial_cb)(void *arg);
 
 #define __local_mem(size) \
-  (void *)((int8_t *)csr_read(VX_CSR_LOCAL_MEM_BASE) + __local_group_id * size)
+  (void*)((int8_t*)csr_read(VX_CSR_LOCAL_MEM_BASE) + __local_group_id * size)
 
 #define __syncthreads() \
   vx_barrier(__local_group_id, __warps_per_group)
 
 // launch a kernel function with a grid of blocks and block of threads
 int vx_spawn_threads(uint32_t dimension,
-                     const uint32_t *grid_dim,
-                     const uint32_t *block_dim,
+                     const uint32_t* grid_dim,
+                     const uint32_t* block_dim,
                      vx_kernel_func_cb kernel_func,
-                     const void *arg);
+                     const void* arg);
 
 // function call serialization
-void vx_serial(vx_serial_cb callback, const void *arg);
+void vx_serial(vx_serial_cb callback, const void * arg);
 
 #ifdef __cplusplus
 }
 #endif
 
-#endif // __VX_SPAWN_H__
+#endif // __VX_SPAWN_H__

kernel/scripts/link32.ld

@@ -7,15 +7,6 @@ OUTPUT_FORMAT("elf32-littleriscv", "elf32-littleriscv",
 	      "elf32-littleriscv")
 OUTPUT_ARCH(riscv)
 ENTRY(_start)
-
-MEMORY {
-  DRAM0    (rwx): ORIGIN = 0x80000000, LENGTH = 512M
-  DRAMARG  (rwx): ORIGIN = 0x9fff0000, LENGTH = 8K
-  DRAM1    (rwx): ORIGIN = 0xa0000000, LENGTH = 16M
-  DRAM2    (rwx): ORIGIN = 0xa1000000, LENGTH = 16M
-  DRAM3    (rwx): ORIGIN = 0xa2000000, LENGTH = 16M
-}
-
 SECTIONS
 {
   . = STARTUP_ADDR;
@@ -259,28 +250,4 @@ SECTIONS
   .gnu.attributes 0 : { KEEP (*(.gnu.attributes)) }
   /DISCARD/ : { *(.note.GNU-stack) *(.gnu_debuglink) *(.gnu.lto_*) }
 
-  .args : {
-    *(.args)
-    FILL(0x00);
-    . = ALIGN(8K);
-  }> DRAMARG
-
-  .operand.a : {
-    *(.operand.a)
-    FILL(0x00);
-    . = ALIGN(32K);
-  }> DRAM1
-
-  .operand.b : {
-    *(.operand.b)
-    FILL(0x00);
-    . = ALIGN(32K);
-  }> DRAM2
-
-  .operand.c : {
-    *(.operand.c)
-    FILL(0x00);
-    . = ALIGN(32K);
-  }> DRAM3
-
-}
+}

runtime/common/callbacks.h

@@ -22,56 +22,56 @@ extern "C" {
 
 typedef struct {
   // open the device and connect to it
-  int (*dev_open)(vx_device_h *hdevice);
+  int (*dev_open) (vx_device_h* hdevice);
 
   // Close the device when all the operations are done
-  int (*dev_close)(vx_device_h hdevice);
+  int (*dev_close) (vx_device_h hdevice);
 
   // return device configurations
-  int (*dev_caps)(vx_device_h hdevice, uint32_t caps_id, uint64_t *value);
+  int (*dev_caps) (vx_device_h hdevice, uint32_t caps_id, uint64_t *value);
 
   // allocate device memory and return address
-  int (*mem_alloc)(vx_device_h hdevice, uint64_t size, int flags, vx_buffer_h *hbuffer);
+  int (*mem_alloc) (vx_device_h hdevice, uint64_t size, int flags, vx_buffer_h* hbuffer);
 
   // reserve memory address range
-  int (*mem_reserve)(vx_device_h hdevice, uint64_t address, uint64_t size, int flags, vx_buffer_h *hbuffer);
+  int (*mem_reserve) (vx_device_h hdevice, uint64_t address, uint64_t size, int flags, vx_buffer_h* hbuffer);
 
   // release device memory
-  int (*mem_free)(vx_buffer_h hbuffer);
+  int (*mem_free) (vx_buffer_h hbuffer);
 
   // set device memory access rights
-  int (*mem_access)(vx_buffer_h hbuffer, uint64_t offset, uint64_t size, int flags);
+  int (*mem_access) (vx_buffer_h hbuffer, uint64_t offset, uint64_t size, int flags);
 
   // return device memory address
-  int (*mem_address)(vx_buffer_h hbuffer, uint64_t *address);
+  int (*mem_address) (vx_buffer_h hbuffer, uint64_t* address);
 
   // get device memory info
-  int (*mem_info)(vx_device_h hdevice, uint64_t *mem_free, uint64_t *mem_used);
+  int (*mem_info) (vx_device_h hdevice, uint64_t* mem_free, uint64_t* mem_used);
 
   // Copy bytes from host to device memory
-  int (*copy_to_dev)(vx_buffer_h hbuffer, const void *host_ptr, uint64_t dst_offset, uint64_t size);
+  int (*copy_to_dev) (vx_buffer_h hbuffer, const void* host_ptr, uint64_t dst_offset, uint64_t size);
 
   // Copy bytes from device memory to host
-  int (*copy_from_dev)(void *host_ptr, vx_buffer_h hbuffer, uint64_t src_offset, uint64_t size);
+  int (*copy_from_dev) (void* host_ptr, vx_buffer_h hbuffer, uint64_t src_offset, uint64_t size);
 
   // Start device execution
-  int (*start)(vx_device_h hdevice, vx_buffer_h hkernel, vx_buffer_h harguments);
+  int (*start) (vx_device_h hdevice, vx_buffer_h hkernel, vx_buffer_h harguments);
 
   // Wait for device ready with milliseconds timeout
-  int (*ready_wait)(vx_device_h hdevice, uint64_t timeout);
+  int (*ready_wait) (vx_device_h hdevice, uint64_t timeout);
 
   // read device configuration registers
-  int (*dcr_read)(vx_device_h hdevice, uint32_t addr, uint32_t *value);
+  int (*dcr_read) (vx_device_h hdevice, uint32_t addr, uint32_t* value);
 
   // write device configuration registers
-  int (*dcr_write)(vx_device_h hdevice, uint32_t addr, uint32_t value);
+  int (*dcr_write) (vx_device_h hdevice, uint32_t addr, uint32_t value);
 
   // query device performance counter
-  int (*mpm_query)(vx_device_h hdevice, uint32_t addr, uint32_t core_id, uint64_t *value);
+  int (*mpm_query) (vx_device_h hdevice, uint32_t addr, uint32_t core_id, uint64_t* value);
 
 } callbacks_t;
 
-int vx_dev_init(callbacks_t *callbacks);
+int vx_dev_init(callbacks_t* callbacks);
 
 #ifdef __cplusplus
 }

runtime/common/callbacks.inc

@@ -222,4 +222,4 @@ extern int vx_dev_init(callbacks_t* callbacks) {
   };
 
   return 0;
-}
+}

runtime/include/vortex.h

@@ -143,4 +143,4 @@ int vx_dump_perf(vx_device_h hdevice, FILE* stream);
 }
 #endif
 
-#endif // __VX_VORTEX_H__
+#endif // __VX_VORTEX_H__

runtime/simx/vortex.cpp

@@ -674,4 +674,4 @@ class vx_device {
 #endif
 };
 
-#include <callbacks.inc>
+#include <callbacks.inc>