blob: 561785581f6c21382e9e17b5e1566a5c4ed1c20e [file] [log] [blame]
David Howellsb920de12008-02-08 04:19:31 -08001/* Internal definitions for the arch part of the core kernel
2 *
3 * Copyright (C) 2007 Red Hat, Inc. All Rights Reserved.
4 * Written by David Howells (dhowells@redhat.com)
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public Licence
8 * as published by the Free Software Foundation; either version
9 * 2 of the Licence, or (at your option) any later version.
10 */
11
Geert Uytterhoeven7a630912012-07-11 14:02:00 -070012#include <linux/irqreturn.h>
13
Mark Salter730c1fa2010-10-27 17:28:57 +010014struct clocksource;
15struct clock_event_device;
16
David Howellsb920de12008-02-08 04:19:31 -080017/*
David Howellsb920de12008-02-08 04:19:31 -080018 * entry.S
19 */
20extern void ret_from_fork(struct task_struct *) __attribute__((noreturn));
Al Viro255461c2012-09-19 13:05:49 -040021extern void ret_from_kernel_thread(struct task_struct *) __attribute__((noreturn));
Akira Takeuchi368dd5a2010-10-27 17:28:55 +010022
23/*
24 * smp-low.S
25 */
26#ifdef CONFIG_SMP
27extern void mn10300_low_ipi_handler(void);
28#endif
29
30/*
David Howells67ddb402011-03-18 16:54:30 +000031 * smp.c
32 */
33#ifdef CONFIG_SMP
34extern void smp_jump_to_debugger(void);
35#endif
36
37/*
Akira Takeuchi368dd5a2010-10-27 17:28:55 +010038 * time.c
39 */
40extern irqreturn_t local_timer_interrupt(void);