/* * 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;