Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ia64/src/mm/tlb.c

    r560b81c r63e27ef  
    4848#include <arch/pal/pal.h>
    4949#include <arch/asm.h>
     50#include <assert.h>
    5051#include <panic.h>
    5152#include <print.h>
     
    449450        entry.word[1] = 0;
    450451       
    451         ASSERT(t->x);
     452        assert(t->x);
    452453       
    453454        entry.p = t->p;
     
    488489        va = istate->cr_ifa; /* faulting address */
    489490       
    490         ASSERT(!is_kernel_fault(va));
     491        assert(!is_kernel_fault(va));
    491492
    492493        bool found = page_mapping_find(AS, va, true, &t);
    493494        if (found) {
    494                 ASSERT(t.p);
     495                assert(t.p);
    495496
    496497                /*
     
    605606        bool found = page_mapping_find(as, va, true, &t);
    606607        if (found) {
    607                 ASSERT(t.p);
     608                assert(t.p);
    608609
    609610                /*
     
    634635void data_nested_tlb_fault(unsigned int n, istate_t *istate)
    635636{
    636         ASSERT(false);
     637        assert(false);
    637638}
    638639
     
    656657        bool found = page_mapping_find(as, va, true, &t);
    657658
    658         ASSERT(found);
    659         ASSERT(t.p);
     659        assert(found);
     660        assert(t.p);
    660661
    661662        if (found && t.p && t.w) {
     
    685686        va = istate->cr_ifa;  /* faulting address */
    686687
    687         ASSERT(!is_kernel_fault(va));
     688        assert(!is_kernel_fault(va));
    688689       
    689690        bool found = page_mapping_find(AS, va, true, &t);
    690691
    691         ASSERT(found);
    692         ASSERT(t.p);
     692        assert(found);
     693        assert(t.p);
    693694
    694695        if (found && t.p && t.x) {
     
    724725        bool found = page_mapping_find(as, va, true, &t);
    725726
    726         ASSERT(found);
    727         ASSERT(t.p);
     727        assert(found);
     728        assert(t.p);
    728729
    729730        if (found && t.p) {
     
    757758        va = istate->cr_ifa;  /* faulting address */
    758759
    759         ASSERT(!is_kernel_fault(va));
     760        assert(!is_kernel_fault(va));
    760761       
    761762        /*
     
    764765        bool found = page_mapping_find(AS, va, true, &t);
    765766
    766         ASSERT(found);
    767         ASSERT(t.p);
    768         ASSERT(!t.w);
     767        assert(found);
     768        assert(t.p);
     769        assert(!t.w);
    769770
    770771        as_page_fault(va, PF_ACCESS_WRITE, istate);
     
    784785        va = istate->cr_ifa;  /* faulting address */
    785786       
    786         ASSERT(!is_kernel_fault(va));
     787        assert(!is_kernel_fault(va));
    787788
    788789        bool found = page_mapping_find(AS, va, true, &t);
    789790
    790         ASSERT(found);
     791        assert(found);
    791792       
    792793        if (t.p) {
Note: See TracChangeset for help on using the changeset viewer.