2008-02-08 19:19:31 +07: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.
|
|
|
|
*/
|
|
|
|
|
2012-07-12 04:02:00 +07:00
|
|
|
#include <linux/irqreturn.h>
|
|
|
|
|
2010-10-27 23:28:57 +07:00
|
|
|
struct clocksource;
|
|
|
|
struct clock_event_device;
|
|
|
|
|
2008-02-08 19:19:31 +07:00
|
|
|
/*
|
|
|
|
* entry.S
|
|
|
|
*/
|
|
|
|
extern void ret_from_fork(struct task_struct *) __attribute__((noreturn));
|
2012-09-20 00:05:49 +07:00
|
|
|
extern void ret_from_kernel_thread(struct task_struct *) __attribute__((noreturn));
|
2010-10-27 23:28:55 +07:00
|
|
|
|
|
|
|
/*
|
|
|
|
* smp-low.S
|
|
|
|
*/
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
extern void mn10300_low_ipi_handler(void);
|
|
|
|
#endif
|
|
|
|
|
2011-03-18 23:54:30 +07:00
|
|
|
/*
|
|
|
|
* smp.c
|
|
|
|
*/
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
extern void smp_jump_to_debugger(void);
|
|
|
|
#endif
|
|
|
|
|
2010-10-27 23:28:55 +07:00
|
|
|
/*
|
|
|
|
* time.c
|
|
|
|
*/
|
|
|
|
extern irqreturn_t local_timer_interrupt(void);
|