#include <cfg/compiler.h>
#include <cfg/debug.h>
-#include "io/lm3s.h"
+#include <io/lm3s.h>
#include "clock_lm3s.h"
/* The PLL VCO frequency is 400 MHz */
#include <cfg/compiler.h>
#include <cfg/debug.h>
-#include "io/lm3s.h"
+#include <io/lm3s.h>
#include "gpio_lm3s.h"
/**
#ifndef GPIO_LM3S_H
#define GPIO_LM3S_H
+#include <io/lm3s.h>
+
/**
* GPIO mode
*/
#include <cfg/debug.h> /* ASSERT() */
#include <cfg/log.h> /* LOG_ERR() */
#include <cpu/irq.h>
-#include "io/lm3s.h"
+#include <io/lm3s.h>
#include "irq_lm3s.h"
static void (*irq_table[NUM_INTERRUPTS])(void)
* \author Andrea Righi <arighi@develer.com>
*/
+#include <cfg/cfg_debug.h>
#include <cfg/macros.h> /* for BV() */
+#include <drv/clock_lm3s.h> /* __delay() */
+#include <drv/gpio_lm3s.h>
+#include <io/lm3s.h>
#include "kdebug_lm3s.h"
-#include "clock_lm3s.h" /* __delay() */
-#include "cfg/cfg_debug.h"
-#include "io/lm3s.h"
-#include "gpio_lm3s.h"
INLINE void uart_disable(size_t base)
{
#include <cfg/debug.h>
#include <cpu/irq.h>
-#include "io/lm3s.h"
-
-#include "irq_lm3s.h"
+#include <io/lm3s.h>
+#include <drv/irq_lm3s.h>
#include "timer_lm3s.h"
INLINE void timer_hw_setPeriod(unsigned long period)