#define WDFEED (*((volatile unsigned char *) 0xE0000008))\r
#define WDTV (*((volatile unsigned long *) 0xE000000C))\r
\r
+\r
+//------------------------- added by Jiri Kubias DCE CVUT -----------------------\r
+\r
+// GPIO selection, mask for PINSEL\r
+ #define GPIO_SEL_0 0x0l\r
+ #define GPIO_SEL_1 0x1l\r
+ #define GPIO_SEL_2 0x2l\r
+ #define GPIO_SEL_3 0x3l\r
+\r
+\r
+\r
#ifdef __GNUC__\r
/* For Keil compatibility */\r
#define __irq __attribute__((interrupt))\r