Changeset 237 for soft/giet_vm/sys/drivers.c

Timestamp:

May 2, 2013, 6:38:04 PM (12 years ago)

Author:

meunier

Message:

Adding a syscall to allow a user to know the block size with which the block device has been configured.

File:

• soft/giet_vm/sys/drivers.c (modified) (5 diffs)

soft/giet_vm/sys/drivers.c

@@ -220 +220 @@
 //unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id) {
 //    // parameters checking 
-//    if ( cluster_id >= NB_CLUSTERS)    return 1;
-//    if ( local_id >= NB_TIMERS_MAX ) return 2;
+//    if (cluster_id >= NB_CLUSTERS) {
+//        return 1;
+//    }
+//    if (local_id >= NB_TIMERS_MAX) {
+//        return 2;
+//    }
 //
 //#if USE_XICU
@@ -227 +231 @@
 //#else
 //    unsigned int * timer_address = (unsigned int *) ((char *) &seg_tim_base + (cluster_id * CLUSTER_SIZE));
-//
-//    timer_address[local_id * TIMER_SPAN + TIMER_RESETIRQ] = 1;
+//    unsigned int timer_period = timer_address[local_id * TIMER_SPAN + TIMER_PERIOD];
+//
+//    timer_address[local_id * TIMER_SPAN + TIMER_PERIOD] = timer_period;
 //#endif
 //
@@ -770 +775 @@
     *status = ioc_address[BLOCK_DEVICE_STATUS]; // read status & reset IRQ 
     return 0;
+}
+
+
+///////////////////////////////////////////////////////////////////////////////
+//     _ioc_get_block_size()
+// This function returns the block_size with which the IOC has been configured.
+///////////////////////////////////////////////////////////////////////////////
+unsigned int _ioc_get_block_size() {
+    // get IOC base address
+    unsigned int * ioc_address = (unsigned int *) &seg_ioc_base;
+    
+    return  ioc_address[BLOCK_DEVICE_BLOCK_SIZE];
 }
 
@@ -905 +922 @@
 
     // get page table address
-    unsigned int user_ptab = _get_context_slot( task_id, CTX_PTAB_ID);
+    unsigned int user_ptab = _get_context_slot(task_id, CTX_PTAB_ID);
 
     // get peripheral buffer virtual address
-    if ( dev_type) {
+    if (dev_type) {
         device_vaddr = (unsigned int) &seg_nic_base + offset;
     }
@@ -926 +943 @@
 
     // Compute user buffer physical address
-    ko = _v2p_translate( (page_table_t*)user_ptab, (user_vaddr >> 12), &ppn, &flags);
+    ko = _v2p_translate((page_table_t*) user_ptab, (user_vaddr >> 12), &ppn, &flags);
     if (ko) {
         _get_lock(&_tty_put_lock);