Changeset 673104e in mainline for include/userspace.h


Ignore:
Timestamp:
2005-06-03T15:10:05Z (20 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
d1a184f
Parents:
70527f1
Message:

doxygen-style comments
NDEBUG in Makefile.config

File:
1 edited

Legend:

Unmodified
Added
Removed

  • include/userspace.h

    r70527f1 r673104e  
    3030#define __USERSPACE_H__
    3131
    32 extern void userspace(void) __attribute__ ((noreturn));
     32extern void userspace(void) __attribute__ ((noreturn)); /**< Switch to user-space (CPU user priviledge level) */
    3333
    3434#endif
Note: See TracChangeset for help on using the changeset viewer.