/* 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 clocksource; struct clock_event_device; /* * entry.S */ extern void ret_from_fork(struct task_struct *) __attribute__((noreturn)); extern void ret_from_kernel_thread(struct task_struct *) __attribute__((noreturn)); /* * smp-low.S */ #ifdef [31mCONFIG_SMP[0m extern void mn10300_low_ipi_handler(void); #endif /* * smp.c */ #ifdef [31mCONFIG_SMP[0m extern void smp_jump_to_debugger(void); #endif /* * time.c */ extern irqreturn_t local_timer_interrupt(void); |