Commit | Line | Data |
---|---|---|
b920de1b DH |
1 | /* 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 | ||
7a630912 GU |
12 | #include <linux/irqreturn.h> |
13 | ||
730c1fad MS |
14 | struct clocksource; |
15 | struct clock_event_device; | |
16 | ||
b920de1b DH |
17 | /* |
18 | * entry.S | |
19 | */ | |
20 | extern void ret_from_fork(struct task_struct *) __attribute__((noreturn)); | |
255461c5 | 21 | extern void ret_from_kernel_thread(struct task_struct *) __attribute__((noreturn)); |
368dd5ac AT |
22 | |
23 | /* | |
24 | * smp-low.S | |
25 | */ | |
26 | #ifdef CONFIG_SMP | |
27 | extern void mn10300_low_ipi_handler(void); | |
28 | #endif | |
29 | ||
67ddb405 DH |
30 | /* |
31 | * smp.c | |
32 | */ | |
33 | #ifdef CONFIG_SMP | |
34 | extern void smp_jump_to_debugger(void); | |
35 | #endif | |
36 | ||
368dd5ac AT |
37 | /* |
38 | * time.c | |
39 | */ | |
40 | extern irqreturn_t local_timer_interrupt(void); |