Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/userspace.h

    rd99c1d2 rdf4ed85  
    2727 */
    2828
    29 /** @addtogroup generic
     29/** @addtogroup generic 
    3030 * @{
    3131 */
     
    3737
    3838#include <proc/thread.h>
    39 #include <typedefs.h>
     39#include <arch/types.h>
    4040
    4141/** Switch to user-space (CPU user priviledge level) */
Note: See TracChangeset for help on using the changeset viewer.