Changeset 8f80c77 in mainline for kernel/genarch/src


Ignore:
Timestamp:
2010-06-08T21:26:22Z (15 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
1113c9e
Parents:
2d3ddad
Message:

Lock/interrupt assertions in the code are self-documenting. No need to have that information duplicated in the comments.

Location:
kernel/genarch/src/mm
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • kernel/genarch/src/mm/asid.c

    r2d3ddad r8f80c77  
    6969
    7070/** Allocate free address space identifier.
    71  *
    72  * Interrupts must be disabled and asidlock must be held prior to this call
    7371 *
    7472 * @return New ASID.

  • kernel/genarch/src/mm/page_ht.c

    r2d3ddad r8f80c77  
    170170 * Map virtual address page to physical address frame
    171171 * using flags.
    172  *
    173  * The page table must be locked and interrupts must be disabled.
    174172 *
    175173 * @param as    Address space to which page belongs.
    … …  
    217215 * this call visible.
    218216 *
    219  * The page table must be locked and interrupts must be disabled.
    220  *
    221217 * @param as   Address space to wich page belongs.
    222218 * @param page Virtual address of the page to be demapped.
    … …  
    245241 * Find mapping for virtual page.
    246242 *
    247  * The page table must be locked and interrupts must be disabled.
    248  *
    249243 * @param as   Address space to wich page belongs.
    250244 * @param page Virtual page.

  • kernel/genarch/src/mm/page_pt.c

    r2d3ddad r8f80c77  
    6161 * using flags.
    6262 *
    63  * The page table must be locked and interrupts must be disabled.
    64  *
    6563 * @param as    Address space to wich page belongs.
    6664 * @param page  Virtual address of the page to be mapped.
    … …  
    115113 *
    116114 * Empty page tables except PTL0 are freed.
    117  *
    118  * The page table must be locked and interrupts must be disabled.
    119115 *
    120116 * @param as   Address space to wich page belongs.
    … …  
    246242 * Find mapping for virtual page.
    247243 *
    248  * The page table must be locked and interrupts must be disabled.
    249  *
    250244 * @param as   Address space to which page belongs.
    251245 * @param page Virtual page.
Note: See TracChangeset for help on using the changeset viewer.