| /* | |
| * arch/v850/kernel/mach.c -- Defaults for some things defined by "mach.h" | |
| * | |
| * Copyright (C) 2001 NEC Corporation | |
| * Copyright (C) 2001 Miles Bader <miles@gnu.org> | |
| * | |
| * This file is subject to the terms and conditions of the GNU General | |
| * Public License. See the file COPYING in the main directory of this | |
| * archive for more details. | |
| * | |
| * Written by Miles Bader <miles@gnu.org> | |
| */ | |
| #include "mach.h" | |
| /* Called with each timer tick, if non-zero. */ | |
| void (*mach_tick)(void) = 0; |