timer.h

00001 /* Timer example for 68HC11
00002    Copyright (C) 2000 Free Software Foundation, Inc.
00003    Written by Stephane Carrez (stcarrez@worldnet.fr)    
00004 
00005 This file is free software; you can redistribute it and/or modify it
00006 under the terms of the GNU General Public License as published by the
00007 Free Software Foundation; either version 2, or (at your option) any
00008 later version.
00009 
00010 In addition to the permissions in the GNU General Public License, the
00011 Free Software Foundation gives you unlimited permission to link the
00012 compiled version of this file with other programs, and to distribute
00013 those programs without any restriction coming from the use of this
00014 file.  (The General Public License restrictions do apply in other
00015 respects; for example, they cover modification of the file, and
00016 distribution when not linked into another program.)
00017 
00018 This file is distributed in the hope that it will be useful, but
00019 WITHOUT ANY WARRANTY; without even the implied warranty of
00020 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00021 General Public License for more details.
00022 
00023 You should have received a copy of the GNU General Public License
00024 along with this program; see the file COPYING.  If not, write to
00025 the Free Software Foundation, 59 Temple Place - Suite 330,
00026 Boston, MA 02111-1307, USA.  */
00027 
00028 #ifndef _TIMER_H
00029 #define _TIMER_H
00030 
00031 #include <sys/param.h>
00032 #include <sys/interrupts.h>
00033 #include <sys/sio.h>
00034 #include <sys/locks.h>
00035 #include <stdarg.h>
00036 
00037 extern void timer_interrupt (void) __attribute__((interrupt));
00038 
00039 inline static void
00040 print (const char* msg)
00041 {
00042   serial_print (msg);
00043 }
00044 
00045 
00046 #endif