Ignore:
Timestamp:
Jun 26, 2017, 4:22:00 PM (5 years ago)
Author:
alain
Message:

Compilation OK pout TSAR

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/tsar_mips32/hal_gpt.c

    r50 r53  
    121121
    122122    // initialize generic page table descriptor
    123         gpt->ptr  = ppm_page2base( page );
     123        gpt->ptr  = ppm_page2vaddr( page );
    124124        gpt->ppn  = ppm_page2ppn( page );
    125125        gpt->page = page;
     
    193193                // get pointer on PT2
    194194                pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( pte1 );
    195                 pt2 = ppm_ppn2base( pt2_ppn );
     195                pt2 = ppm_ppn2vaddr( pt2_ppn );
    196196
    197197                // scan the PT2 to release all entries VALID and USER if reference cluster
     
    212212                // release the PT2
    213213                req.type = KMEM_PAGE;
    214                 req.ptr  = ppm_base2page( pt2 );
     214                req.ptr  = ppm_vaddr2page( pt2 );
    215215                kmem_free( &req );
    216216            }
     
    220220    // release the PT1
    221221    req.type = KMEM_PAGE;
    222     req.ptr  = ppm_base2page( pt1 );
     222    req.ptr  = ppm_vaddr2page( pt1 );
    223223    kmem_free( &req );
    224224
     
    255255            {
    256256                pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( pte1 );
    257                 pt2 = ppm_ppn2base( pt2_ppn );
     257                pt2 = ppm_ppn2vaddr( pt2_ppn );
    258258
    259259                // scan the PT2
     
    339339        }
    340340        pt2_ppn = ppm_page2ppn( page );
    341         pt2     = ppm_page2base( page );
     341        pt2     = ppm_page2vaddr( page );
    342342
    343343        // try to atomicaly set a PTD1 in the PT1 entry
     
    361361
    362362            // compute pointer on PT2 base
    363                         pt2 = (uint32_t*)ppm_ppn2base( pt2_ppn );
     363                        pt2 = (uint32_t*)ppm_ppn2vaddr( pt2_ppn );
    364364                }
    365365        }
     
    378378
    379379        // compute pointer on PT2 base
    380             pt2 = (uint32_t*)ppm_ppn2base( pt2_ppn );
     380            pt2 = (uint32_t*)ppm_ppn2vaddr( pt2_ppn );
    381381        }
    382382
     
    424424        // compute PT2 base address
    425425        pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( pte1 );
    426         pt2     = (uint32_t*)ppm_ppn2base( pt2_ppn );
     426        pt2     = (uint32_t*)ppm_ppn2vaddr( pt2_ppn );
    427427
    428428            *ppn  = pt2[2*ix2+1] & ((1<<TSAR_MMU_PPN_WIDTH)-1);
     
    478478        // compute PT2 base address
    479479        pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( pte1 );
    480         pt2 = (uint32_t*)ppm_ppn2base( pt2_ppn );
     480        pt2 = (uint32_t*)ppm_ppn2vaddr( pt2_ppn );
    481481       
    482482        // get PPN
     
    548548
    549549        pt2_ppn = ppm_page2ppn( page );
    550         pt2     = ppm_page2base( page );
     550        pt2     = ppm_page2vaddr( page );
    551551
    552552        // try to set the PT1 entry
     
    568568            // get the PT2 base address
    569569                        pt2_ppn = TSAR_MMU_PPN_FROM_PTE1( pte1 );
    570                         pt2     = (uint32_t*)ppm_ppn2base( pt2_ppn );
     570                        pt2     = (uint32_t*)ppm_ppn2vaddr( pt2_ppn );
    571571                }
    572572        }
     
    585585
    586586        // compute pointer on PT2 base
    587             pt2 = (uint32_t*)ppm_ppn2base( pt2_ppn );
     587            pt2 = (uint32_t*)ppm_ppn2vaddr( pt2_ppn );
    588588    }
    589589   
     
    645645    // get pointer on PT2 base
    646646    pt2_ppn = TSAR_MMU_PPN_FROM_PTE1( pte1 );
    647     pt2     = ppm_ppn2base( pt2_ppn );
     647    pt2     = ppm_ppn2vaddr( pt2_ppn );
    648648 
    649649    // get pointer on PTE2
     
    722722
    723723                // get pointer on new PT2 in DST_GPT
    724                 dst_pt2 = (uint32_t *)ppm_page2base( page );
     724                dst_pt2 = (uint32_t *)ppm_page2vaddr( page );
    725725
    726726                // set a new PTD1 in DST_GPT
     
    730730                // get pointer on PT2 in SRC_GPT
    731731                src_pt2_ppn = (ppn_t)TSAR_MMU_PTBA_FROM_PTE1( pte1 );
    732                 src_pt2     = (uint32_t *)ppm_ppn2base( src_pt2_ppn );
     732                src_pt2     = (uint32_t *)ppm_ppn2vaddr( src_pt2_ppn );
    733733
    734734                // scan the SRC_PT2
Note: See TracChangeset for help on using the changeset viewer.