DDE - The L4 Device Driver Environment: cred-internals.h Source File

00001 /* Internal credentials stuff
00002  *
00003  * Copyright (C) 2008 Red Hat, Inc. All Rights Reserved.
00004  * Written by David Howells (dhowells@redhat.com)
00005  *
00006  * This program is free software; you can redistribute it and/or
00007  * modify it under the terms of the GNU General Public Licence
00008  * as published by the Free Software Foundation; either version
00009  * 2 of the Licence, or (at your option) any later version.
00010  */
00011 
00012 /*
00013  * user.c
00014  */
00015 static inline void sched_switch_user(struct task_struct *p)
00016 {
00017 #ifdef CONFIG_USER_SCHED
00018         sched_move_task(p);
00019 #endif  /* CONFIG_USER_SCHED */
00020 }
00021