Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 8f80c77 in mainline


Ignore:
Timestamp:
2010-06-08T21:26:22Z (11 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master
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
Files:
9 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/mips32/src/mm/tlb.c

    r2d3ddad r8f80c77  
    352352
    353353/** Try to find PTE for faulting address.
    354  *
    355  * The AS->lock must be held on entry to this function.
    356354 *
    357355 * @param badvaddr      Faulting virtual address.
  • kernel/arch/ppc32/src/mm/tlb.c

    r2d3ddad r8f80c77  
    4949
    5050/** Try to find PTE for faulting address
    51  *
    52  * Try to find PTE for faulting address.
    53  * The as->lock must be held on entry to this function.
    5451 *
    5552 * @param as       Address space.
  • 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.
  • kernel/generic/src/mm/as.c

    r2d3ddad r8f80c77  
    801801/** Check access mode for address space area.
    802802 *
    803  * The address space area must be locked prior to this call.
    804  *
    805803 * @param area   Address space area.
    806804 * @param access Access mode.
     
    12141212/** Compute flags for virtual address translation subsytem.
    12151213 *
    1216  * The address space area must be locked.
    1217  * Interrupts must be disabled.
    1218  *
    12191214 * @param area Address space area.
    12201215 *
     
    13161311
    13171312/** Find address space area and lock it.
    1318  *
    1319  * The address space must be locked and interrupts must be disabled.
    13201313 *
    13211314 * @param as Address space.
     
    13811374
    13821375/** Check area conflicts with other areas.
    1383  *
    1384  * The address space must be locked and interrupts must be disabled.
    13851376 *
    13861377 * @param as         Address space.
  • kernel/generic/src/mm/backend_elf.c

    r2d3ddad r8f80c77  
    269269 * Otherwise only portions of the area that are not backed by the ELF image
    270270 * are put into the pagemap.
    271  *
    272  * The address space and address space area must be locked prior to the call.
    273271 *
    274272 * @param area          Address space area.
  • kernel/generic/src/mm/page.c

    r2d3ddad r8f80c77  
    108108 * using flags. Allocate and setup any missing page tables.
    109109 *
    110  * The page table must be locked and interrupts must be disabled.
    111  *
    112110 * @param as    Address space to wich page belongs.
    113111 * @param page  Virtual address of the page to be mapped.
     
    138136 * this call visible.
    139137 *
    140  * The page table must be locked and interrupts must be disabled.
    141  *
    142138 * @param as   Address space to wich page belongs.
    143139 * @param page Virtual address of the page to be demapped.
     
    162158 * Find mapping for virtual page.
    163159 *
    164  * The page table must be locked and interrupts must be disabled.
    165  *
    166160 * @param as   Address space to wich page belongs.
    167161 * @param page Virtual page.
  • kernel/generic/src/sysinfo/stats.c

    r2d3ddad r8f80c77  
    195195 *
    196196 * Summarize task information into task statistics.
    197  * Task lock should be held and interrupts disabled
    198  * before executing this function.
    199197 *
    200198 * @param task       Task.
     
    297295 *
    298296 * Summarize thread information into thread statistics.
    299  * Thread lock should be held and interrupts disabled
    300  * before executing this function.
    301297 *
    302298 * @param thread       Thread.
Note: See TracChangeset for help on using the changeset viewer.