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