Ignore:
Timestamp:
Aug 17, 2017, 3:02:18 PM (5 years ago)
Author:
alain
Message:

Few bugs in VMM

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/tsar_mips32/core/hal_exception.c

    r391 r401  
    132132static error_t hal_mmu_exception( thread_t * this )
    133133{
    134         vseg_t         * vseg;        // vseg containing the bad_vaddr
    135134        process_t      * process;     // local process descriptor
    136135    error_t          error;       // return value
     
    176175    "thread %x is a kernel thread / vaddr = %x\n", this->trdid , bad_vaddr );
    177176 
    178     // vaddr must be contained in a registered vseg
    179     error = vmm_get_vseg( process , bad_vaddr , &vseg );
    180 
    181         vmm_dmsg("\n[INFO] %s : found vseg for thread %x / vseg_min = %x / vseg_max = %x\n",
    182                          __FUNCTION__ , this->trdid , vseg->min , vseg->max );
    183 
    184177    // analyse exception code
    185178    if( excp_code & MMU_EXCP_PAGE_UNMAPPED )
     
    190183        // try to map the unmapped PTE
    191184        error = vmm_handle_page_fault( process,
    192                                        vseg,
    193185                                       bad_vaddr >> CONFIG_PPM_PAGE_SHIFT );  // vpn
    194186        // disable IRQs
Note: See TracChangeset for help on using the changeset viewer.