2008-02-08 13:19:31 +01:00
|
|
|
/* Internal definitions for the arch part of the core kernel
|
|
|
|
*
|
|
|
|
* Copyright (C) 2007 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.
|
|
|
|
*/
|
|
|
|
|
2010-10-27 18:28:57 +02:00
|
|
|
struct clocksource;
|
|
|
|
struct clock_event_device;
|
|
|
|
|
2008-02-08 13:19:31 +01:00
|
|
|
/*
|
|
|
|
* kthread.S
|
|
|
|
*/
|
|
|
|
extern int kernel_thread_helper(int);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* entry.S
|
|
|
|
*/
|
|
|
|
extern void ret_from_fork(struct task_struct *) __attribute__((noreturn));
|
2010-10-27 18:28:55 +02:00
|
|
|
|
|
|
|
/*
|
|
|
|
* smp-low.S
|
|
|
|
*/
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
extern void mn10300_low_ipi_handler(void);
|
|
|
|
#endif
|
|
|
|
|
2011-03-18 17:54:30 +01:00
|
|
|
/*
|
|
|
|
* smp.c
|
|
|
|
*/
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
extern void smp_jump_to_debugger(void);
|
|
|
|
#endif
|
|
|
|
|
2010-10-27 18:28:55 +02:00
|
|
|
/*
|
|
|
|
* time.c
|
|
|
|
*/
|
|
|
|
extern irqreturn_t local_timer_interrupt(void);
|