From cf291c22f01fca1cea23abefeb2f74b640e21e9c Mon Sep 17 00:00:00 2001
From: "Xenofon (Fontas) Fafoutis" <xenofon.fafoutis@bristol.ac.uk>
Date: Wed, 28 Feb 2018 10:41:05 +0000
Subject: [PATCH] Minor changes in the GPIO HAL

---
 arch/cpu/cc2538/dev/gpio-hal-arch.h | 1 +
 os/dev/gpio-hal.h                   | 7 +++++++
 2 files changed, 8 insertions(+)

diff --git a/arch/cpu/cc2538/dev/gpio-hal-arch.h b/arch/cpu/cc2538/dev/gpio-hal-arch.h
index 0b282c738..25abb3eb4 100644
--- a/arch/cpu/cc2538/dev/gpio-hal-arch.h
+++ b/arch/cpu/cc2538/dev/gpio-hal-arch.h
@@ -53,6 +53,7 @@
 #include <stdint.h>
 /*---------------------------------------------------------------------------*/
 #define PIN_TO_PORT(pin) (pin >> 3)
+#define PIN_TO_NUM(pin) (pin % 8)
 #define PIN_TO_PORT_BASE(pin) GPIO_PORT_TO_BASE(PIN_TO_PORT(pin))
 /*---------------------------------------------------------------------------*/
 #define gpio_hal_arch_interrupt_enable(p) do { \
diff --git a/os/dev/gpio-hal.h b/os/dev/gpio-hal.h
index aacbfb1f1..b6af7bf74 100644
--- a/os/dev/gpio-hal.h
+++ b/os/dev/gpio-hal.h
@@ -130,6 +130,13 @@ typedef struct gpio_hal_event_handler_s {
   gpio_hal_pin_mask_t pin_mask;
 } gpio_hal_event_handler_t;
 /*---------------------------------------------------------------------------*/
+/**
+ * \brief Unknown GPIO
+ *
+ * A default GPIO value for unknown GPIO
+ */
+#define GPIO_HAL_PIN_UNKNOWN              0xFF
+/*---------------------------------------------------------------------------*/
 /**
  * \name Core GPIO functions
  *