Changes between Version 3 and Version 4 of kernel_vmem

Timestamp:

Jan 1, 2016, 10:43:34 PM (9 years ago)

Author:

alain

Comment:

--

kernel_vmem

@@ -18 +18 @@
  * SPP : Small Physical pages / 4 Kbytes
 
-=== unsigned long long _v2p_translate( unsigned int  vaddr  ,  unsigned int* flags ) ===
-
+=== unsigned long long '''_v2p_translate'''( unsigned int  vaddr  ,  unsigned int* flags ) ===
 This function returns the physical address from the virtual address. The MMU is supposed to be activated, and it uses the page table defined by the CP0_PTPR register. It supports both small (4 Kbytes) & big (2 Mbytes) pages.
  * '''vaddr''': virtual address.
@@ -25 +24 @@
 Exit if PTE1 or PTE2 unmapped.
 
+=== void '''_v2p_add_pte1'''( unsigned int vspace_id , unsigned int x , unsigned int y , unsigned int vpn , unsigned int flags , unsigned int ppn , unsigned int ident ) ===
+This function registers a new PTE1 (BPP)vin the page table defined by the <vspace_id> argument, and the <x,y> coordinates. The value is defined by the <flags> and <ppn> arguments.
+It updates only the first level PT1. As each vseg is mapped by a different processor, the PT1 entry cannot be concurrently accessed, and we don't need to take any lock.
+
+=== void '''_v2p_add_pte2'''( unsigned int vspace_id , unsigned int x , unsigned int y , unsigned int vpn ) ===
+
+=== void '''_v2p_del_pte1'''( unsigned int vspace_id , unsigned int x , unsigned int y , unsigned int vpn ) ===
+
+=== void '''_v2p_del_pte2'''( unsigned int vspace_id , unsigned int x , unsigned int y , unsigned int vpn ) ===
+