// -------------------------------------------
// This file is part of eCos, the Embedded Configurable Operating System.
// Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc.
+// Copyright (C) 2006 eCosCentric Limited
//
// eCos is free software; you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free
// These are not applicable in a bitmap scheduler; placeholders:
inline void rotate_queue( cyg_priority pri ) { };
inline void to_queue_head( void ) { };
+
+ inline void timeslice_save() {};
+ inline void timeslice_restore() {};
+ inline void timeslice_reset() {};
+
};
// -------------------------------------------------------------------------