Changeset 1433ecda in mainline for kernel/generic/include/userspace.h

Timestamp:

2018-04-04T15:42:37Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2c4e1cc

Parents:

47b2d7e3

Message:

Fix cstyle: make ccheck-fix and commit only files where all the changes are good.

File:

• kernel/generic/include/userspace.h (modified) (1 diff)

kernel/generic/include/userspace.h

@@ -40 +40 @@
 
 /** Switch to user-space (CPU user priviledge level) */
-extern void userspace(uspace_arg_t *uarg) __attribute__ ((noreturn));
+extern void userspace(uspace_arg_t *uarg) __attribute__((noreturn));
 
 #endif