Changeset 751 for soft/giet_vm/giet_common/vmem.h

Timestamp:

Jan 2, 2016, 4:57:40 PM (8 years ago)

Author:

alain

Message:

Introduce the _v2p_add_pte1(), _v2p_add_pte2(), _v2p_del_pte1(), _v2p_del_pte2() functions
to support dynamic mapping / unmapping associated to the giet_fat_mmap() and giet_fat_munmap() system calls.

File:

• soft/giet_vm/giet_common/vmem.h (modified) (1 diff)

soft/giet_vm/giet_common/vmem.h

@@ -85 +85 @@
                                    unsigned int* flags );
 
+//////////////////////////////////////////////////////////////////////////////
+// This function registers a new PTE1 in the page table defined
+// by the <vspace_id> argument, and the <x,y> coordinates.
+// It updates only the first level PT1.
+// This function checks that the PT1 entry is not already mapped, 
+// to enforce the rule: only one vseg in a given BPP. 
+// The 4 vsegs used by the boot code being packed in one single BPP, 
+// this verif is not done for all identity mapping vsegs.
+//////////////////////////////////////////////////////////////////////////////
+void _v2p_add_pte1( unsigned int vspace_id,   // vspace index
+                    unsigned int x,           // cluster X coordinate
+                    unsigned int y,           // cluster Y coordinate
+                    unsigned int vpn,         // 20 bits right-justified
+                    unsigned int flags,       // 10 bits left-justified 
+                    unsigned int ppn,         // 28 bits right-justified
+                    unsigned int ident );     // identity mapping if non zero
+
+//////////////////////////////////////////////////////////////////////////////
+// This function registers a new PTE2 in the page table defined
+// by the <vspace_id> argument, and the (x,y) coordinates.
+// It updates both the first level PT1 and the second level PT2.
+// As the set of PT2s is implemented as a fixed size array (no dynamic 
+// allocation), this function checks a possible overflow of the PT2 array.
+// As a given entry in PT1 can be shared by several vsegs, mapped by 
+// different processors, we need to take the lock protecting PTAB[v][x][y].
+//////////////////////////////////////////////////////////////////////////////
+void _v2p_add_pte2( unsigned int vspace_id,   // vspace index
+                    unsigned int x,           // cluster X coordinate
+                    unsigned int y,           // cluster Y coordinate
+                    unsigned int vpn,         // 20 bits right-justified
+                    unsigned int flags,       // 10 bits left-justified 
+                    unsigned int ppn,         // 28 bits right-justified
+                    unsigned int ident );     // identity mapping if non zero
+
+//////////////////////////////////////////////////////////////////////////////
+// This function invalidate a PTE1 entry in the page table identified by the
+// <vspace_id> argument and the <x,y> coordinates. The PTE1 entry is
+// defined by the <vpn> virtual page number. 
+//////////////////////////////////////////////////////////////////////////////
+void _v2p_del_pte1( unsigned int vspace_id,   // vspace index
+                    unsigned int x,           // cluster X coordinate
+                    unsigned int y,           // cluster Y coordinate
+                    unsigned int vpn );       // 20 bits right-justified
+
+//////////////////////////////////////////////////////////////////////////////
+// This function invalidate a PTE2 entry in the page table identified by the
+// <vspace_id> argument and the <x,y> coordinates. The PTE2 entry is
+// defined by the <vpn> virtual page number. The PT1 used to access the PTE2
+// juis not modified. 
+//////////////////////////////////////////////////////////////////////////////
+void _v2p_del_pte2( unsigned int vspace_id,   // vspace index
+                    unsigned int x,           // cluster X coordinate
+                    unsigned int y,           // cluster Y coordinate
+                    unsigned int vpn );       // 20 bits right-justified
+
+
 #endif