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


Ignore:
Timestamp:
2017-06-19T21:47:42Z (8 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
Files:
10 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/sparc64/src/drivers/pci.c

    r7354b5e r63e27ef  
    4242#include <mm/slab.h>
    4343#include <typedefs.h>
    44 #include <debug.h>
     44#include <assert.h>
    4545#include <log.h>
    4646#include <str.h>
    … …  
    175175         * First, verify this is a PCI node.
    176176         */
    177         ASSERT(str_cmp(ofw_tree_node_name(node), "pci") == 0);
     177        assert(str_cmp(ofw_tree_node_name(node), "pci") == 0);
    178178
    179179        /*
    … …  
    210210void pci_enable_interrupt(pci_t *pci, int inr)
    211211{
    212         ASSERT(pci->op && pci->op->enable_interrupt);
     212        assert(pci->op && pci->op->enable_interrupt);
    213213        pci->op->enable_interrupt(pci, inr);
    214214}
    … …  
    218218        pci_t *pci = (pci_t *)pcip;
    219219
    220         ASSERT(pci->op && pci->op->clear_interrupt);
     220        assert(pci->op && pci->op->clear_interrupt);
    221221        pci->op->clear_interrupt(pci, inr);
    222222}

  • kernel/arch/sparc64/src/drivers/tick.c

    r7354b5e r63e27ef  
    4343#include <time/clock.h>
    4444#include <arch.h>
    45 #include <debug.h>
     45#include <assert.h>
    4646
    4747/** Initialize tick and stick interrupt. */
    … …  
    9393         * Make sure we are servicing interrupt_level_14
    9494         */
    95         ASSERT(n == TT_INTERRUPT_LEVEL_14);
     95        assert(n == TT_INTERRUPT_LEVEL_14);
    9696       
    9797        /*
    9898         * Make sure we are servicing TICK_INT.
    9999         */
    100         ASSERT(softint.tick_int);
     100        assert(softint.tick_int);
    101101
    102102        /*

  • 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;

  • kernel/arch/sparc64/src/smp/sun4u/ipi.c

    r7354b5e r63e27ef  
    3535#include <smp/ipi.h>
    3636#include <arch/smp/sun4u/ipi.h>
     37#include <assert.h>
    3738#include <cpu.h>
    3839#include <arch.h>
    … …  
    103104                panic("Interrupt Dispatch Status busy bit set\n");
    104105       
    105         ASSERT(!(pstate_read() & PSTATE_IE_BIT));
     106        assert(!(pstate_read() & PSTATE_IE_BIT));
    106107       
    107108        do {
    … …  
    185186void ipi_unicast_arch(unsigned int cpu_id, int ipi)
    186187{
    187         ASSERT(&cpus[cpu_id] != CPU);
     188        assert(&cpus[cpu_id] != CPU);
    188189       
    189190        if (ipi == IPI_SMP_CALL) {

  • kernel/arch/sparc64/src/sparc64.c

    r7354b5e r63e27ef  
    7070
    7171        if (config.cpu_active == 1) {
    72                 STATIC_ASSERT(UWB_SIZE <= UWB_ALIGNMENT);
     72                static_assert(UWB_SIZE <= UWB_ALIGNMENT, "");
    7373                /* Create slab cache for the userspace window buffers */
    7474                uwb_cache = slab_cache_create("uwb_cache", UWB_SIZE,
Note: See TracChangeset for help on using the changeset viewer.