Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/sparc64/src/mm/sun4u/tsb.c

    r63e27ef re08162b  
    2727 */
    2828
    29 /** @addtogroup sparc64mm
     29/** @addtogroup sparc64mm       
    3030 * @{
    3131 */
     
    3737#include <arch/mm/page.h>
    3838#include <arch/barrier.h>
    39 #include <assert.h>
    4039#include <mm/as.h>
    4140#include <typedefs.h>
    4241#include <macros.h>
     42#include <debug.h>
    4343
    4444/** Invalidate portion of TSB.
     
    5858        size_t cnt;
    5959       
    60         assert(as->arch.itsb);
    61         assert(as->arch.dtsb);
     60        ASSERT(as->arch.itsb);
     61        ASSERT(as->arch.dtsb);
    6262       
    6363        i0 = (page >> MMU_PAGE_WIDTH) & ITSB_ENTRY_MASK;
     
    8585        size_t entry;
    8686
    87         assert(index <= 1);
     87        ASSERT(index <= 1);
    8888       
    8989        as = t->as;
     
    130130        size_t entry;
    131131       
    132         assert(index <= 1);
     132        ASSERT(index <= 1);
    133133
    134134        as = t->as;
Note: See TracChangeset for help on using the changeset viewer.