Changeset 8f80c77 in mainline for kernel/genarch/src/mm/asid.c

Timestamp:

2010-06-08T21:26:22Z (16 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.

File:

• kernel/genarch/src/mm/asid.c (modified) (1 diff)

kernel/genarch/src/mm/asid.c

@@ -69 +69 @@
 
 /** Allocate free address space identifier.
- *
- * Interrupts must be disabled and asidlock must be held prior to this call
  *
  * @return New ASID.