2 * arch/v850/kernel/mach.c -- Defaults for some things defined by "mach.h"
4 * Copyright (C) 2001 NEC Corporation
7 * This file is subject to the terms and conditions of the GNU General
8 * Public License. See the file COPYING in the main directory of this
9 * archive for more details.
16 /* Called with each timer tick, if non-zero. */
17 void (*mach_tick)(void) = 0;