Changeset 396 for soft/giet_vm/giet_kernel/sys_handler.c

Timestamp:

Aug 12, 2014, 10:43:18 AM (10 years ago)

Author:

alain

Message:

Housekeeping

File:

• soft/giet_vm/giet_kernel/sys_handler.c (modified) (3 diffs)

soft/giet_vm/giet_kernel/sys_handler.c

@@ -20 +20 @@
 #include <fat32.h>
 #include <utils.h>
+#include <vmem.h>
 #include <hard_config.h>
 #include <giet_config.h>
@@ -62 +63 @@
     &_context_switch,      /* 0x19 */
     &_vobj_get_vbase,      /* 0x1A */
-    &_sys_ukn,             /* 0x1B */
+    &_get_xy_from_ptr,     /* 0x1B */
     &_nic_cma_start,       /* 0x1C */
     &_nic_cma_stop,        /* 0x1D */
@@ -257 +258 @@
 }
 
+/////////////////////////////////////////////////////////////////////////////
+// This function returns in the (x,y) arguments the coordinates of the 
+// where is mapped the ptr virtual address. It use the _get_context_slot()
+// function to get the calling task page table, and uses the _v2p_translate()
+// function to obtain the physical address. 
+// returns 0 if success, > 0 if ptr not mapped in the calling task vspace.
+/////////////////////////////////////////////////////////////////////////////
+
+unsigned int _get_xy_from_ptr( void*         ptr,
+                               unsigned int* px,
+                               unsigned int* py )
+{
+    unsigned int ret;
+    unsigned int ppn;
+    unsigned int flags;
+    unsigned int vpn  = (((unsigned int)ptr)>>12);
+    
+    // get the page table pointer
+    page_table_t* pt = (page_table_t*)_get_context_slot( CTX_PTAB_ID ); 
+
+    // compute the physical address
+    if ( (ret = _v2p_translate( pt, vpn, &ppn, &flags )) )
+    {
+        return ret;
+    }
+
+    *px = (ppn>>24) & 0xF;
+    *py = (ppn>>20) & 0xF;
+    return 0;
+}
+
 ////////////////////////////////////////////////////////////////////////////
 // This sysrem function deschedule the requestint task.