|  | /* 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 */ | 
|  | } | 
|  |  |