| /* Internal credentials stuff | 
 |  * | 
 |  * Copyright (C) 2008 Red Hat, Inc. All Rights Reserved. | 
 |  * Written by David Howells (dhowells@redhat.com) | 
 |  * | 
 |  * This program is free software; you can redistribute it and/or | 
 |  * modify it under the terms of the GNU General Public Licence | 
 |  * as published by the Free Software Foundation; either version | 
 |  * 2 of the Licence, or (at your option) any later version. | 
 |  */ | 
 |  | 
 | /* | 
 |  * user.c | 
 |  */ | 
 | static inline void sched_switch_user(struct task_struct *p) | 
 | { | 
 | #ifdef CONFIG_USER_SCHED | 
 | 	sched_move_task(p); | 
 | #endif	/* CONFIG_USER_SCHED */ | 
 | } | 
 |  |