Changeset a35b458 in mainline for kernel/arch/ia32/src/mm/page.c


Ignore:
Timestamp:
2018-03-02T20:10:49Z (6 years ago)
Author:
Jiří Zárevúcky <zarevucky.jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f1380b7
Parents:
3061bc1
git-author:
Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:38:31)
git-committer:
Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-02 20:10:49)
Message:

style: Remove trailing whitespace on _all_ lines, including empty ones, for particular file types.

Command used: tools/srepl '\s\+$' '' -- *.c *.h *.py *.sh *.s *.S *.ag

Currently, whitespace on empty lines is very inconsistent.
There are two basic choices: Either remove the whitespace, or keep empty lines
indented to the level of surrounding code. The former is AFAICT more common,
and also much easier to do automatically.

Alternatively, we could write script for automatic indentation, and use that
instead. However, if such a script exists, it's possible to use the indented
style locally, by having the editor apply relevant conversions on load/save,
without affecting remote repository. IMO, it makes more sense to adopt
the simpler rule.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ia32/src/mm/page.c

    r3061bc1 ra35b458  
    5454        uintptr_t cur;
    5555        int flags;
    56        
     56
    5757        if (config.cpu_active > 1) {
    5858                /* Fast path for non-boot CPUs */
     
    6363
    6464        page_mapping_operations = &pt_mapping_operations;
    65        
     65
    6666        /*
    6767         * PA2KA(identity) mapping for all low-memory frames.
     
    7474        }
    7575        page_table_unlock(AS_KERNEL, true);
    76                
     76
    7777        exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
    7878        write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
    79        
     79
    8080        paging_on();
    8181}
     
    8585        uintptr_t badvaddr;
    8686        pf_access_t access;
    87        
     87
    8888        badvaddr = read_cr2();
    89                
     89
    9090        if (istate->error_word & PFERR_CODE_RSVD)
    9191                panic("Reserved bit set in page directory.");
    92        
     92
    9393        if (istate->error_word & PFERR_CODE_RW)
    9494                access = PF_ACCESS_WRITE;
    9595        else
    9696                access = PF_ACCESS_READ;
    97        
     97
    9898        (void) as_page_fault(badvaddr, access, istate);
    9999}
Note: See TracChangeset for help on using the changeset viewer.