Changeset 401 for trunk/hal/tsar_mips32/core/hal_exception.c

Timestamp:

Aug 17, 2017, 3:02:18 PM (7 years ago)

Author:

alain

Message:

Few bugs in VMM

File:

• trunk/hal/tsar_mips32/core/hal_exception.c (modified) (3 diffs)

trunk/hal/tsar_mips32/core/hal_exception.c

@@ -132 +132 @@
 static error_t hal_mmu_exception( thread_t * this ) 
 {
-        vseg_t         * vseg;        // vseg containing the bad_vaddr
         process_t      * process;     // local process descriptor
     error_t          error;       // return value
@@ -176 +175 @@
     "thread %x is a kernel thread / vaddr = %x\n", this->trdid , bad_vaddr );
   
-    // vaddr must be contained in a registered vseg
-    error = vmm_get_vseg( process , bad_vaddr , &vseg );
-
-        vmm_dmsg("\n[INFO] %s : found vseg for thread %x / vseg_min = %x / vseg_max = %x\n", 
-                         __FUNCTION__ , this->trdid , vseg->min , vseg->max );
-
     // analyse exception code
     if( excp_code & MMU_EXCP_PAGE_UNMAPPED )
@@ -190 +183 @@
         // try to map the unmapped PTE
         error = vmm_handle_page_fault( process, 
-                                       vseg,
                                        bad_vaddr >> CONFIG_PPM_PAGE_SHIFT );  // vpn
         // disable IRQs