| /* 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. |
| #include <linux/irqreturn.h> |
| struct clock_event_device; |
| extern void ret_from_fork(struct task_struct *) __attribute__((noreturn)); |
| extern void ret_from_kernel_thread(struct task_struct *) __attribute__((noreturn)); |
| extern void mn10300_low_ipi_handler(void); |
| extern void smp_jump_to_debugger(void); |
| extern irqreturn_t local_timer_interrupt(void); |