Ignore:
Timestamp:
May 28, 2019, 6:10:15 PM (5 years ago)
Author:
alain
Message:

cosmetic

File:
1 edited

Legend:

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

    r632 r633  
    346346
    347347#if GPT_LOCK_WATCHDOG
    348     uint32_t count;
     348    uint32_t count = 0;
    349349#endif
    350350
     
    391391            page_xp = ppm_remote_alloc_pages( gpt_cxy , 0 );
    392392
    393             if( page_xp == NULL )
     393            if( page_xp == XPTR_NULL )
    394394            {
    395395                printk("\n[ERROR] in %s : cannot allocate memory for PT2\n", __FUNCTION__ );
     
    445445
    446446    // get pointer on PT2 base from PTD1
    447         pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( ptd1 );
    448         pt2_ptr = GET_PTR( ppm_ppn2base( pt2_ppn ) );
     447    pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( ptd1 );
     448    pt2_ptr = GET_PTR( ppm_ppn2base( pt2_ppn ) );
    449449
    450450    // build extended pointers on PT2[ix2].attr 
     
    461461        // wait until PTE lock released by the current owner
    462462        do
    463                 {
    464                         pte2_attr = hal_remote_l32( pte2_xp );
     463        {
     464            pte2_attr = hal_remote_l32( pte2_xp );
    465465
    466466#if GPT_LOCK_WATCHDOG
     
    475475#endif
    476476     
    477                 }
     477        }
    478478        while( (pte2_attr & TSAR_PTE_LOCKED) != 0 );
    479479
     
    482482                                        pte2_attr,
    483483                                        (pte2_attr | TSAR_PTE_LOCKED) );
    484         }
     484    }
    485485    while( atomic == 0 );
    486486
     
    498498    *ppn  = pte2_ppn & ((1<<TSAR_MMU_PPN_WIDTH)-1);
    499499    *attr = tsar2gpt( pte2_attr );
    500         return 0;
     500    return 0;
    501501
    502502}  // end hal_gpt_lock_pte()
Note: See TracChangeset for help on using the changeset viewer.