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
12#include <linux/irqreturn.h>
13
14struct clocksource;
15struct clock_event_device;
16
17/*
18 * entry.S
19 */
20extern void ret_from_fork(struct task_struct *) __attribute__((noreturn));
21extern void ret_from_kernel_thread(struct task_struct *) __attribute__((noreturn));
22
23/*
24 * smp-low.S
25 */
26#ifdef CONFIG_SMP
27extern void mn10300_low_ipi_handler(void);
28#endif
29
30/*
31 * smp.c
32 */
33#ifdef CONFIG_SMP
34extern void smp_jump_to_debugger(void);
35#endif
36
37/*
38 * time.c
39 */
40extern irqreturn_t local_timer_interrupt(void);