summaryrefslogtreecommitdiff
path: root/nuttx/arch/arm/src/c5471/c5471_timerisr.c
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/arch/arm/src/c5471/c5471_timerisr.c')
-rw-r--r--nuttx/arch/arm/src/c5471/c5471_timerisr.c14
1 files changed, 8 insertions, 6 deletions
diff --git a/nuttx/arch/arm/src/c5471/c5471_timerisr.c b/nuttx/arch/arm/src/c5471/c5471_timerisr.c
index e37043173..81fb24a21 100644
--- a/nuttx/arch/arm/src/c5471/c5471_timerisr.c
+++ b/nuttx/arch/arm/src/c5471/c5471_timerisr.c
@@ -1,7 +1,7 @@
/************************************************************
* c5471/c5471_timerisr.c
*
- * Copyright (C) 2007 Gregory Nutt. All rights reserved.
+ * Copyright (C) 2007, 2009 Gregory Nutt. All rights reserved.
* Author: Gregory Nutt <spudmonkey@racsa.co.cr>
*
* Redistribution and use in source and binary forms, with or without
@@ -14,7 +14,7 @@
* notice, this list of conditions and the following disclaimer in
* the documentation and/or other materials provided with the
* distribution.
- * 3. Neither the name Gregory Nutt nor the names of its contributors may be
+ * 3. Neither the name NuttX nor the names of its contributors may be
* used to endorse or promote products derived from this software
* without specific prior written permission.
*
@@ -38,15 +38,17 @@
************************************************************/
#include <nuttx/config.h>
-#include <sys/types.h>
+
+#include <stdint.h>
#include <debug.h>
#include <nuttx/arch.h>
+
#include "clock_internal.h"
#include "up_internal.h"
#include "up_arch.h"
/************************************************************
- * Definitions
+ * Pre-processor Definitions
************************************************************/
/* We want the general purpose timer running at the rate
@@ -87,7 +89,7 @@
*
************************************************************/
-int up_timerisr(int irq, uint32 *regs)
+int up_timerisr(int irq, uint32_t *regs)
{
/* Process timer interrupt */
@@ -106,7 +108,7 @@ int up_timerisr(int irq, uint32 *regs)
void up_timerinit(void)
{
- uint32 val;
+ uint32_t val;
up_disable_irq(C5471_IRQ_SYSTIMER);