Changes in kernel/arch/mips32/src/mm/tlb.c [63e27ef:346b12a2] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/mips32/src/mm/tlb.c
r63e27ef r346b12a2 44 44 #include <print.h> 45 45 #include <log.h> 46 #include < assert.h>46 #include <debug.h> 47 47 #include <align.h> 48 48 #include <interrupt.h> … … 160 160 #endif 161 161 162 assert(!index.p);162 ASSERT(!index.p); 163 163 164 164 badvaddr = cp0_badvaddr_read(); … … 323 323 int i; 324 324 325 assert(interrupts_disabled());325 ASSERT(interrupts_disabled()); 326 326 327 327 hi_save.value = cp0_entry_hi_read(); … … 356 356 int i; 357 357 358 assert(interrupts_disabled());359 assert(asid != ASID_INVALID);358 ASSERT(interrupts_disabled()); 359 ASSERT(asid != ASID_INVALID); 360 360 361 361 hi_save.value = cp0_entry_hi_read(); … … 398 398 tlb_index_t index; 399 399 400 assert(interrupts_disabled());400 ASSERT(interrupts_disabled()); 401 401 402 402 if (asid == ASID_INVALID)
Note:
See TracChangeset
for help on using the changeset viewer.