1 /* Internal definitions for the arch part of the core kernel
3 * Copyright (C) 2007 Red Hat, Inc. All Rights Reserved.
4 * Written by David Howells (dhowells@redhat.com)
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.
12 #include <linux/irqreturn.h>
15 struct clock_event_device
;
20 extern void ret_from_fork(struct task_struct
*) __attribute__((noreturn
));
21 extern void ret_from_kernel_thread(struct task_struct
*) __attribute__((noreturn
));
27 extern void mn10300_low_ipi_handler(void);
34 extern void smp_jump_to_debugger(void);
40 extern irqreturn_t
local_timer_interrupt(void);