ARM port Copyright (C) 2005 Stelian Pop
Xenomai is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, Inc., 675 Mass Ave, Cambridge MA 02139, USA; either version 2 of the License, or (at your option) any later version.
Xenomai is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
#include <linux/version.h>
#include <linux/slab.h>
#include <linux/errno.h>
#include <linux/module.h>
#include <linux/console.h>
#include <asm/system.h>
#include <asm/hardirq.h>
#include <asm/irq.h>
#include <asm/io.h>
#include <asm/uaccess.h>
#include <asm/unistd.h>
#include <asm/xenomai/hal.h>
#include <stdarg.h>
Functions | |
| int | rthal_timer_request (void(*handler)(void), unsigned long nstick) |
| Grab the hardware timer. | |
| void | rthal_timer_release (void) |
| Release the hardware timer. | |
| int | rthal_irq_host_release (unsigned irq, void *dev_id) |
| Uninstall a shared Linux interrupt handler. | |
| int | rthal_irq_enable (unsigned irq) |
| Enable an interrupt source. | |
| int | rthal_irq_disable (unsigned irq) |
| Disable an interrupt source. | |
1.4.6