Changeset 63e27ef in mainline for kernel/arch/sparc64/src/mm


Ignore:
Timestamp:
2017-06-19T21:47:42Z (9 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
deacc58d
Parents:
7354b5e
Message:

ASSERT → assert

Location:
kernel/arch/sparc64/src/mm
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/sparc64/src/mm/sun4u/as.c

    r7354b5e r63e27ef  
    3535#include <arch/mm/as.h>
    3636#include <arch/mm/tlb.h>
     37#include <assert.h>
     38#include <config.h>
    3739#include <genarch/mm/page_ht.h>
    3840#include <genarch/mm/asid_fifo.h>
    39 #include <debug.h>
    40 #include <config.h>
    4141
    4242#ifdef CONFIG_TSB
    … …  
    130130        uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
    131131       
    132         ASSERT(as->arch.itsb);
    133         ASSERT(as->arch.dtsb);
     132        assert(as->arch.itsb);
     133        assert(as->arch.dtsb);
    134134       
    135135        uintptr_t tsb = (uintptr_t) as->arch.itsb;
    … …  
    202202        uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
    203203       
    204         ASSERT(as->arch.itsb);
    205         ASSERT(as->arch.dtsb);
     204        assert(as->arch.itsb);
     205        assert(as->arch.dtsb);
    206206       
    207207        uintptr_t tsb = (uintptr_t) as->arch.itsb;

  • kernel/arch/sparc64/src/mm/sun4u/tlb.c

    r7354b5e r63e27ef  
    4141#include <arch/mm/mmu.h>
    4242#include <arch/interrupt.h>
     43#include <assert.h>
    4344#include <interrupt.h>
    4445#include <arch.h>
    … …  
    201202        bool found = page_mapping_find(AS, istate->tpc, true, &t);
    202203        if (found && PTE_EXECUTABLE(&t)) {
    203                 ASSERT(t.p);
     204                assert(t.p);
    204205
    205206                /*
    … …  
    258259        bool found = page_mapping_find(as, page_16k, true, &t);
    259260        if (found) {
    260                 ASSERT(t.p);
     261                assert(t.p);
    261262
    262263                /*
    … …  
    301302        bool found = page_mapping_find(as, page_16k, true, &t);
    302303        if (found && PTE_WRITABLE(&t)) {
    303                 ASSERT(t.p);
     304                assert(t.p);
    304305
    305306                /*

  • kernel/arch/sparc64/src/mm/sun4u/tsb.c

    r7354b5e r63e27ef  
    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>
    3940#include <mm/as.h>
    4041#include <typedefs.h>
    4142#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;

  • kernel/arch/sparc64/src/mm/sun4v/as.c

    r7354b5e r63e27ef  
    3737#include <arch/mm/pagesize.h>
    3838#include <arch/mm/tlb.h>
     39#include <assert.h>
    3940#include <genarch/mm/page_ht.h>
    4041#include <genarch/mm/asid_fifo.h>
    41 #include <debug.h>
    4242#include <config.h>
    4343#include <arch/sun4v/hypercall.h>
    … …  
    121121        uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
    122122       
    123         ASSERT(as->arch.tsb_description.tsb_base);
     123        assert(as->arch.tsb_description.tsb_base);
    124124        uintptr_t tsb = PA2KA(as->arch.tsb_description.tsb_base);
    125125       
    … …  
    160160        uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
    161161       
    162         ASSERT(as->arch.tsb_description.tsb_base);
     162        assert(as->arch.tsb_description.tsb_base);
    163163       
    164164        uintptr_t tsb = PA2KA(as->arch.tsb_description.tsb_base);

  • kernel/arch/sparc64/src/mm/sun4v/tlb.c

    r7354b5e r63e27ef  
    4343#include <arch/mm/tlb.h>
    4444#include <arch/interrupt.h>
     45#include <assert.h>
    4546#include <interrupt.h>
    4647#include <arch.h>
    … …  
    215216        bool found = page_mapping_find(AS, va, true, &t);
    216217        if (found && PTE_EXECUTABLE(&t)) {
    217                 ASSERT(t.p);
     218                assert(t.p);
    218219
    219220                /*
    … …  
    265266        bool found = page_mapping_find(as, va, true, &t);
    266267        if (found) {
    267                 ASSERT(t.p);
     268                assert(t.p);
    268269
    269270                /*
    … …  
    303304        bool found = page_mapping_find(as, va, true, &t);
    304305        if (found && PTE_WRITABLE(&t)) {
    305                 ASSERT(t.p);
     306                assert(t.p);
    306307
    307308                /*
    … …  
    345346        __hypercall_fast_ret1(0, 0, 0, 0, 0, CPU_MYID, &myid);
    346347
    347         ASSERT(mmu_fsas[myid].dft < 16);
     348        assert(mmu_fsas[myid].dft < 16);
    348349
    349350        printf("condition which caused the fault: %s\n",

  • kernel/arch/sparc64/src/mm/sun4v/tsb.c

    r7354b5e r63e27ef  
    3939#include <arch/mm/page.h>
    4040#include <arch/barrier.h>
     41#include <assert.h>
    4142#include <mm/as.h>
    4243#include <typedefs.h>
    4344#include <macros.h>
    44 #include <debug.h>
    4545
    4646/** Invalidate portion of TSB.
    … …  
    6060        size_t cnt;
    6161       
    62         ASSERT(as->arch.tsb_description.tsb_base);
     62        assert(as->arch.tsb_description.tsb_base);
    6363       
    6464        i0 = (page >> MMU_PAGE_WIDTH) & TSB_ENTRY_MASK;
Note: See TracChangeset for help on using the changeset viewer.