/kernel/trunk/arch/ia32/src/proc/scheduler.c |
---|
26,6 → 26,13 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32proc ia32 |
* @ingroup proc |
* @{ |
*/ |
/** @file |
*/ |
#include <proc/scheduler.h> |
#include <cpu.h> |
#include <proc/task.h> |
70,3 → 77,7 |
void after_thread_ran_arch(void) |
{ |
} |
/** @} |
*/ |
/kernel/trunk/arch/ia32/src/proc/task.c |
---|
26,6 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32proc |
* @{ |
*/ |
/** @file |
*/ |
#include <proc/task.h> |
#include <arch/types.h> |
#include <adt/bitmap.h> |
50,3 → 56,7 |
if (t->arch.iomap.map) |
free(t->arch.iomap.map); |
} |
/** @} |
*/ |
/kernel/trunk/arch/ia32/src/proc/thread.c |
---|
26,6 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32proc |
* @{ |
*/ |
/** @file |
*/ |
#include <proc/thread.h> |
/** Perform ia32 specific thread initialization. |
36,3 → 42,7 |
{ |
t->arch.tls = 0; |
} |
/** @} |
*/ |