Changeset 63e27ef in mainline for kernel/generic/src/mm/as.c


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

File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/generic/src/mm/as.c

    r7354b5e r63e27ef  
    6767#include <arch/asm.h>
    6868#include <panic.h>
    69 #include <debug.h>
     69#include <assert.h>
    7070#include <print.h>
    7171#include <mem.h>
    … …  
    189189        DEADLOCK_PROBE_INIT(p_asidlock);
    190190       
    191         ASSERT(as != AS);
    192         ASSERT(atomic_get(&as->refcount) == 0);
     191        assert(as != AS);
     192        assert(atomic_get(&as->refcount) == 0);
    193193       
    194194        /*
    … …  
    236236        bool cond = true;
    237237        while (cond) {
    238                 ASSERT(!list_empty(&as->as_area_btree.leaf_list));
     238                assert(!list_empty(&as->as_area_btree.leaf_list));
    239239               
    240240                btree_node_t *node =
    … …  
    298298    size_t count, bool guarded, as_area_t *avoid)
    299299{
    300         ASSERT((addr % PAGE_SIZE) == 0);
    301         ASSERT(mutex_locked(&as->lock));
     300        assert((addr % PAGE_SIZE) == 0);
     301        assert(mutex_locked(&as->lock));
    302302
    303303        /*
    … …  
    455455    size_t size, bool guarded)
    456456{
    457         ASSERT(mutex_locked(&as->lock));
     457        assert(mutex_locked(&as->lock));
    458458       
    459459        if (size == 0)
    … …  
    532532       
    533533        mutex_lock(&sh_info->lock);
    534         ASSERT(sh_info->refcount);
     534        assert(sh_info->refcount);
    535535       
    536536        if (--sh_info->refcount == 0) {
    … …  
    696696NO_TRACE static as_area_t *find_area_and_lock(as_t *as, uintptr_t va)
    697697{
    698         ASSERT(mutex_locked(&as->lock));
     698        assert(mutex_locked(&as->lock));
    699699       
    700700        btree_node_t *leaf;
    … …  
    827827                bool cond = true;
    828828                while (cond) {
    829                         ASSERT(!list_empty(&area->used_space.leaf_list));
     829                        assert(!list_empty(&area->used_space.leaf_list));
    830830                       
    831831                        btree_node_t *node =
    … …  
    893893                                            ptr + P2SZ(i), false, &pte);
    894894                                       
    895                                         ASSERT(found);
    896                                         ASSERT(PTE_VALID(&pte));
    897                                         ASSERT(PTE_PRESENT(&pte));
     895                                        assert(found);
     896                                        assert(PTE_VALID(&pte));
     897                                        assert(PTE_PRESENT(&pte));
    898898                                       
    899899                                        if ((area->backend) &&
    … …  
    10081008                                     ptr + P2SZ(size), false, &pte);
    10091009                               
    1010                                 ASSERT(found);
    1011                                 ASSERT(PTE_VALID(&pte));
    1012                                 ASSERT(PTE_PRESENT(&pte));
     1010                                assert(found);
     1011                                assert(PTE_VALID(&pte));
     1012                                assert(PTE_PRESENT(&pte));
    10131013                               
    10141014                                if ((area->backend) &&
    … …  
    11941194NO_TRACE bool as_area_check_access(as_area_t *area, pf_access_t access)
    11951195{
    1196         ASSERT(mutex_locked(&area->lock));
     1196        assert(mutex_locked(&area->lock));
    11971197       
    11981198        int flagmap[] = {
    … …  
    13211321                                    ptr + P2SZ(size), false, &pte);
    13221322                               
    1323                                 ASSERT(found);
    1324                                 ASSERT(PTE_VALID(&pte));
    1325                                 ASSERT(PTE_PRESENT(&pte));
     1323                                assert(found);
     1324                                assert(PTE_VALID(&pte));
     1325                                assert(PTE_PRESENT(&pte));
    13261326                               
    13271327                                old_frame[frame_idx++] = PTE_GET_FRAME(&pte);
    … …  
    15411541         */
    15421542        if (old_as) {
    1543                 ASSERT(old_as->cpu_refcount);
     1543                assert(old_as->cpu_refcount);
    15441544               
    15451545                if ((--old_as->cpu_refcount == 0) && (old_as != AS_KERNEL)) {
    … …  
    15501550                         * ASID.
    15511551                         */
    1552                         ASSERT(old_as->asid != ASID_INVALID);
     1552                        assert(old_as->asid != ASID_INVALID);
    15531553                       
    15541554                        list_append(&old_as->inactive_as_with_asid_link,
    … …  
    15971597NO_TRACE unsigned int as_area_get_flags(as_area_t *area)
    15981598{
    1599         ASSERT(mutex_locked(&area->lock));
     1599        assert(mutex_locked(&area->lock));
    16001600       
    16011601        return area_flags_to_page_flags(area->flags);
    … …  
    16151615NO_TRACE pte_t *page_table_create(unsigned int flags)
    16161616{
    1617         ASSERT(as_operations);
    1618         ASSERT(as_operations->page_table_create);
     1617        assert(as_operations);
     1618        assert(as_operations->page_table_create);
    16191619       
    16201620        return as_operations->page_table_create(flags);
    … …  
    16301630NO_TRACE void page_table_destroy(pte_t *page_table)
    16311631{
    1632         ASSERT(as_operations);
    1633         ASSERT(as_operations->page_table_destroy);
     1632        assert(as_operations);
     1633        assert(as_operations->page_table_destroy);
    16341634       
    16351635        as_operations->page_table_destroy(page_table);
    … …  
    16511651NO_TRACE void page_table_lock(as_t *as, bool lock)
    16521652{
    1653         ASSERT(as_operations);
    1654         ASSERT(as_operations->page_table_lock);
     1653        assert(as_operations);
     1654        assert(as_operations->page_table_lock);
    16551655       
    16561656        as_operations->page_table_lock(as, lock);
    … …  
    16651665NO_TRACE void page_table_unlock(as_t *as, bool unlock)
    16661666{
    1667         ASSERT(as_operations);
    1668         ASSERT(as_operations->page_table_unlock);
     1667        assert(as_operations);
     1668        assert(as_operations->page_table_unlock);
    16691669       
    16701670        as_operations->page_table_unlock(as, unlock);
    … …  
    16801680NO_TRACE bool page_table_locked(as_t *as)
    16811681{
    1682         ASSERT(as_operations);
    1683         ASSERT(as_operations->page_table_locked);
     1682        assert(as_operations);
     1683        assert(as_operations->page_table_locked);
    16841684
    16851685        return as_operations->page_table_locked(as);
    … …  
    17241724bool used_space_insert(as_area_t *area, uintptr_t page, size_t count)
    17251725{
    1726         ASSERT(mutex_locked(&area->lock));
    1727         ASSERT(IS_ALIGNED(page, PAGE_SIZE));
    1728         ASSERT(count);
     1726        assert(mutex_locked(&area->lock));
     1727        assert(IS_ALIGNED(page, PAGE_SIZE));
     1728        assert(count);
    17291729       
    17301730        btree_node_t *leaf = NULL;
    … …  
    17371737        }
    17381738
    1739         ASSERT(leaf != NULL);
     1739        assert(leaf != NULL);
    17401740       
    17411741        if (!leaf->keys) {
    … …  
    20102010bool used_space_remove(as_area_t *area, uintptr_t page, size_t count)
    20112011{
    2012         ASSERT(mutex_locked(&area->lock));
    2013         ASSERT(IS_ALIGNED(page, PAGE_SIZE));
    2014         ASSERT(count);
     2012        assert(mutex_locked(&area->lock));
     2013        assert(IS_ALIGNED(page, PAGE_SIZE));
     2014        assert(count);
    20152015       
    20162016        btree_node_t *leaf;
    … …  
    22572257                        as_area_t *area = node->value[i];
    22582258                       
    2259                         ASSERT(area_idx < area_cnt);
     2259                        assert(area_idx < area_cnt);
    22602260                        mutex_lock(&area->lock);
    22612261                       
Note: See TracChangeset for help on using the changeset viewer.