Add errno.h (code moved from system.h) Add stdint.h Add NULL and size_t to stddef.h
authorNathael Pajani <nathael.pajani@ed3l.fr>
Tue, 27 Sep 2016 20:35:32 +0000 (22:35 +0200)
committerNathael Pajani <nathael.pajani@ed3l.fr>
Tue, 8 Nov 2022 16:03:04 +0000 (17:03 +0100)
65 files changed:
core/fault_handlers.c
core/pio.c
core/rom_helpers.c
core/system.c
core/systick.c
core/user_information_block.c
core/watchdog.c
drivers/adc.c
drivers/gpio.c
drivers/i2c.c
drivers/rtc.c
drivers/serial.c
drivers/ssp.c
drivers/timers.c
extdrv/cc1101.c
extdrv/dht11.c
extdrv/eeprom.c
extdrv/epaper.c
extdrv/lcd_char.c
extdrv/max31855_thermocouple.c
extdrv/ncn5120.c
extdrv/status_led.c
extdrv/tmp101_temp_sensor.c
extdrv/ws2812.c
include/core/iap.h
include/core/pio.h
include/core/system.h
include/core/systick.h
include/core/user_information_block.h
include/core/watchdog.h
include/drivers/adc.h
include/drivers/gpio.h
include/drivers/i2c.h
include/drivers/rtc.h
include/drivers/serial.h
include/drivers/ssp.h
include/drivers/timers.h
include/extdrv/cc1101.h
include/extdrv/dht11.h
include/extdrv/eeprom.h
include/extdrv/epaper.h
include/extdrv/lcd_char.h
include/extdrv/max31855_thermocouple.h
include/extdrv/ncn5120.h
include/extdrv/status_led.h
include/extdrv/tmp101_temp_sensor.h
include/extdrv/ws2812.h
include/lib/errno.h [new file with mode: 0644]
include/lib/protocols/dtplug/defs.h
include/lib/protocols/dtplug/slave.h
include/lib/stddef.h
include/lib/stdint.h [new file with mode: 0644]
include/lib/stdio.h
include/lib/stdlib.h
include/lib/string.h
include/lib/time.h
include/lib/utils.h
lib/font.c
lib/protocols/dtplug/slave.c
lib/stdlib.c
lib/string.c
lib/time.c
lib/uprintf.c
lib/utils.c
lib/vsprintf.c

index fdade54..b7e411d 100644 (file)
@@ -27,6 +27,7 @@
  *   loop and chould be overidden by user defined handlers.
  */
 
+#include "lib/stdint.h"
 #include "core/lpc_regs_12xx.h"
 
 void fault_info(const char* name, uint32_t len) __attribute__ ((weak, alias ("Dummy_Fault_Handler")));
index 81a8bad..b238bc0 100644 (file)
@@ -27,7 +27,6 @@
  */
 
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index c29d80f..adfbc9d 100644 (file)
@@ -25,7 +25,6 @@
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
  */
 
-#include <stdint.h>
 #include "core/system.h"
 #include "core/lpc_core_cm0.h"
 
index 6068fce..8d09c59 100644 (file)
  *   related functions.
  */
 
-#include <stdint.h>
-
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
-#include "core/pio.h"
 
 
 /* Private defines */
index e07b4f3..b5fba1a 100644 (file)
  * Refer to the LPC1224 documentation (UM10441.pdf) for more information
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
 #include "core/systick.h"
+#include "lib/errno.h"
 
 
 /* Static variables */
index 56a77e1..817d77f 100644 (file)
@@ -42,7 +42,7 @@
  *   the liker script (lpc_link_lpc1224.ld).
 */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 extern unsigned int _start_info;
index e4c2d79..aac7e24 100644 (file)
@@ -25,8 +25,6 @@
  * This file implements support of the Windowed Watchdog (WWDT)
  */
 
-#include <stdint.h>
-
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index a091bde..d76ceaa 100644 (file)
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
-#include "core/pio.h"
+#include "lib/errno.h"
 #include "drivers/adc.h"
 
 /* Should be as near to 9MHz as possible */
index 0773efb..c29756d 100644 (file)
  */
 
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
+#include "lib/errno.h"
 #include "core/pio.h"
 #include "drivers/gpio.h"
 
index 1b51239..142ea4f 100644 (file)
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
  */
 
-#include <stdint.h>
-
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
 #include "lib/string.h"
+#include "lib/errno.h"
 #include "drivers/i2c.h"
 
 
index 30463a5..64d744e 100644 (file)
@@ -26,7 +26,6 @@
  * Refer to LPC12xx documentation (UM10441.pdf) for more information
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index a697b03..db5d97d 100644 (file)
 
 /* Both UARTs are available, UART numbers are in the range 0 - 1 */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
 #include "core/pio.h"
 #include "lib/string.h"
 #include "lib/utils.h"
+#include "lib/errno.h"
 #include "drivers/serial.h"
 
 struct uart_device
index 256ed53..f39dcbb 100644 (file)
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
 #include "core/pio.h"
+#include "lib/errno.h"
 #include "lib/string.h"
 #include "drivers/ssp.h"
 
index 6a6dbdd..8955a93 100644 (file)
@@ -29,7 +29,9 @@
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
  */
 
-#include <stdint.h>
+
+#include "lib/stdint.h"
+#include "lib/errno.h"
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index 8a54365..226aaf6 100644 (file)
@@ -18,7 +18,7 @@
  *
  *************************************************************************** */
 
-#include <stdint.h>
+#include "lib/errno.h"
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index 81f9e79..7579e8d 100644 (file)
@@ -38,7 +38,6 @@
  *
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/system.h"
 #include "core/pio.h"
index e323a0a..bf7cc4e 100644 (file)
  *
  *************************************************************************** */
 
-#include <stdint.h>
-
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
 #include "core/pio.h"
+#include "lib/errno.h"
 #include "lib/string.h"
 #include "drivers/gpio.h"
 #include "drivers/i2c.h"
index 9d18528..ae7425d 100644 (file)
@@ -26,7 +26,6 @@
  * artists on the GPIO Demo module.
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index 6b1bc84..4a7c42c 100644 (file)
@@ -32,7 +32,6 @@
  * Refer to HD44780U documentation from Hitachi for more information.
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index 9aabe4a..e4ce59b 100644 (file)
  *
  *************************************************************************** */
 
-#include <stdint.h>
-
 #include "core/lpc_regs_12xx.h"
 #include "core/system.h"
 #include "core/pio.h"
+#include "lib/errno.h"
 #include "drivers/gpio.h"
 #include "drivers/ssp.h"
 #include "extdrv/max31855_thermocouple.h"
index 3be493f..f7be3d4 100644 (file)
@@ -18,7 +18,6 @@
  *
  *************************************************************************** */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index 9165228..5d6c679 100644 (file)
@@ -23,7 +23,6 @@
 /***************************************************************************** */
 
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/system.h"
 #include "core/pio.h"
index 75a99d8..1bc5f77 100644 (file)
  *
  *************************************************************************** */
 
-#include <stdint.h>
 
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
+#include "lib/errno.h"
 #include "drivers/i2c.h"
 #include "extdrv/tmp101_temp_sensor.h"
 
index f6ac983..6372129 100644 (file)
@@ -27,7 +27,6 @@
  *
  */
 
-#include <stdint.h>
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
index ca8eff2..10c9872 100644 (file)
@@ -21,7 +21,7 @@
 #ifndef CORE_IAP_H
 #define CORE_IAP_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /*******************************************************************************/
index 36ad395..5cdaf9f 100644 (file)
@@ -26,7 +26,7 @@
  * It has nothing related to GPIO function of the pins.
  */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 struct pio {
     uint8_t port;  /* 0xFF indicates the end of a pin array */
index 98b5fdb..28638cc 100644 (file)
 #ifndef CORE_SYSTEM_H
 #define CORE_SYSTEM_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 #include "core/lpc_regs_12xx.h"
 #include "core/lpc_core_cm0.h"
 #include "core/watchdog.h"
 
 
-/* Error Values, from glibc errno.h and errno-base.h */
-#define EIO          5 /* Bad one: Input or Output error. */
-#define E2BIG        7 /* Argument list too long or Data size beyond buffer size */
-#define EAGAIN      11 /* Device already in use */
-#define EFAULT      14 /* Address error */
-#define EBUSY       16 /* Device or ressource Busy */
-#define ENODEV      19 /* No such device */
-#define EINVAL      22 /* Invalid argument */
-#define EBADFD      77 /* Device not initialized */
-#define EREMOTEIO  121 /* Device did not acknowledge */
-
-/* Note on error values for I2C :
- *  EIO : Bad one: Illegal start or stop, or illegal state in i2c state machine
- *  EFAULT : address above eeprom size
- *  EBUSY : Device or ressource Busy or Arbitration lost
- *  EREMOTEIO : Device did not acknowledge
- */
-
 /***************************************************************************** */
 /*                       Power up defaults                                     */
 /***************************************************************************** */
index cd48e5d..42dcac5 100644 (file)
@@ -24,7 +24,7 @@
 #ifndef CORE_SYSTICK_H
 #define CORE_SYSTICK_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 /***************************************************************************** */
 /*               System Tick Timer                                             */
index 1f53788..5a5f0c4 100644 (file)
@@ -44,7 +44,7 @@
 #ifndef USER_INFORMATION_BLOCK_H
 #define USER_INFORMATION_BLOCK_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 struct user_info {
        char name[48];
index c14b8c0..5147ac8 100644 (file)
@@ -29,7 +29,7 @@
 #ifndef CORE_WATCHDOG_H
 #define CORE_WATCHDOG_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 #define WDT_CLK_POWER_LOCK  (0x01 << 0)
 #define WDT_CLK_SRC_LOCK    (0x01 << 1)
index 6fa8132..7cd8d67 100644 (file)
@@ -22,7 +22,7 @@
 #define DRIVERS_ADC_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 /***************************************************************************** */
 /*                Analog to Digital Converter (ADC)                            */
index 86bb8bb..741c116 100644 (file)
@@ -30,7 +30,7 @@
 #define DRIVERS_GPIO_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "core/pio.h"
 
 
index c5f41ad..3151ce6 100644 (file)
@@ -31,7 +31,7 @@
 #ifndef DRIVERS_I2C_H
 #define DRIVERS_I2C_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 #define I2C_CLK_100KHz  (100*1000)
index 2af2f32..52e28d0 100644 (file)
@@ -26,7 +26,7 @@
  * Refer to LPC12xx documentation (UM10441.pdf) for more information
  */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /* Return the number of RTC ticks from system power on.
index ff27f9a..e6687d8 100644 (file)
@@ -31,7 +31,7 @@
 #define DRIVERS_SERIAL_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 #define UART0  0
index fd9516c..87adf20 100644 (file)
@@ -30,7 +30,7 @@
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
  */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /* Set this to 1 for use of this driver in a multitasking OS, it will activate the SPI Mutex */
index 8c244ff..d5008a2 100644 (file)
@@ -21,8 +21,6 @@
 #ifndef DRIVERS_TIMERS_H
 #define DRIVERS_TIMERS_H
 
-#include <stdint.h>
-
 /***************************************************************************** */
 /*                Timers                                                       */
 /***************************************************************************** */
@@ -31,6 +29,8 @@
  * All timers have 4 channels though 32 bits timers have all 4 channels available
  *   on capture /match pins while 16bits ones have only two (channels 0 and 1).
  * Refer to LPC1224 documentation (UM10441.pdf) for more information.
+
+#include "lib/stdint.h"
  */
 #define NUM_TIMERS 4
 #define NUM_CHANS 4
index d3a02eb..20a93e4 100644 (file)
@@ -46,6 +46,7 @@
 #ifndef EXTDRV_CC1101_H
 #define EXTDRV_CC1101_H
 
+#include "lib/stdint.h"
 #include "lib/stddef.h"
 
 /******************************************************************************/
index b5bdce5..21165d7 100644 (file)
@@ -41,7 +41,7 @@
  *
  */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 /***************************************************************************** */
 /* DHT11 Humidity and temp sensor configuration : Set up the GPIO used for
index 9bd125a..81aa4a8 100644 (file)
@@ -23,7 +23,7 @@
 #ifndef EXTDRV_EEPROM_H
 #define EXTDRV_EEPROM_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /***************************************************************************** */
index fc4724a..f7e2f42 100644 (file)
@@ -30,7 +30,7 @@
 #ifndef EXTDRV_EPAPER_H
 #define EXTDRV_EPAPER_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "core/pio.h"
 #include "drivers/timers.h"
 
index b8d9096..97db7f0 100644 (file)
@@ -34,7 +34,7 @@
 #ifndef EXTDRV_LCD_CHAR_H
 #define EXTDRV_LCD_CHAR_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "core/pio.h"
 
 /* IMPORTANT NOTE :
index ac848da..2ba762a 100644 (file)
@@ -23,7 +23,7 @@
 #ifndef EXTDRV_MAX31855_H
 #define EXTDRV_MAX31855_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "core/pio.h"
 
 /* Support for thermocouple temperature sensors using Maxim's MAX31855 themocouple
index e8633c1..1fb849f 100644 (file)
@@ -26,7 +26,7 @@
 #ifndef EXTDRV_NCN5120_H
 #define EXTDRV_NCN5120_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 struct ncn5120_status {
        uint8_t operation_mode;
index 1ff64ce..2b79396 100644 (file)
@@ -22,7 +22,7 @@
 #define EXTDRV_STATUS_LED_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "core/pio.h"
 
 
index 1892a75..6633b9e 100644 (file)
@@ -23,7 +23,7 @@
 #ifndef EXTDRV_TEMP_H
 #define EXTDRV_TEMP_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /***************************************************************************** */
index 486af0c..f0d606b 100644 (file)
@@ -57,7 +57,7 @@
  *   
  */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "core/pio.h"
 
 
diff --git a/include/lib/errno.h b/include/lib/errno.h
new file mode 100644 (file)
index 0000000..8d563eb
--- /dev/null
@@ -0,0 +1,43 @@
+/****************************************************************************
+ *   lib/errno.h
+ *
+ * Copyright 2016 Nathael Pajani <nathael.pajani@ed3l.fr>
+ *
+ * This program 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, either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program 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, see <http://www.gnu.org/licenses/>.
+ *
+ *************************************************************************** */
+
+#ifndef LIB_ERRNO_H
+#define LIB_ERRNO_H
+
+/* Error Values, from glibc errno.h and errno-base.h */
+#define EIO          5 /* Bad one: Input or Output error. */
+#define E2BIG        7 /* Argument list too long or Data size beyond buffer size */
+#define EAGAIN      11 /* Device already in use */
+#define EFAULT      14 /* Address error */
+#define EBUSY       16 /* Device or ressource Busy */
+#define ENODEV      19 /* No such device */
+#define EINVAL      22 /* Invalid argument */
+#define EBADFD      77 /* Device not initialized */
+#define EREMOTEIO  121 /* Device did not acknowledge */
+
+/* Note on error values for I2C :
+ *  EIO : Bad one: Illegal start or stop, or illegal state in i2c state machine
+ *  EFAULT : address above eeprom size
+ *  EBUSY : Device or ressource Busy or Arbitration lost
+ *  EREMOTEIO : Device did not acknowledge
+ */
+
+
+#endif /* LIB_ERRNO_H */
index 531b96c..51a1f5b 100644 (file)
@@ -23,7 +23,7 @@
 #define LIB_PROTOCOLS_DTPLUG_DEFS_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 /******************************************************************************/
 /* These structures define the packets used to transfer data over the serial link
index 0d96a8e..d21d9fc 100644 (file)
@@ -23,7 +23,7 @@
 #define LIB_PROTOCOLS_DTPLUG_SLAVE_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "lib/protocols/dtplug/defs.h"
 
 
index 0ba2685..ec72897 100644 (file)
 #ifndef LIB_STDDEF_H
 #define LIB_STDDEF_H
 
+
+#undef __SIZE_TYPE__
+#define __SIZE_TYPE__ long unsigned int
+typedef __SIZE_TYPE__ size_t;
+
+#define NULL ((void *)0)
+
+
 /**
  * offsetof - return the offset of a member in the containing structure.
  */
diff --git a/include/lib/stdint.h b/include/lib/stdint.h
new file mode 100644 (file)
index 0000000..f77b81d
--- /dev/null
@@ -0,0 +1,107 @@
+/****************************************************************************
+ *   lib/stdint.h
+ *
+ * Copyright 2016 Nathael Pajani <nathael.pajani@ed3l.fr>
+ *
+ r
+ * This program 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, either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program 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, see <http://www.gnu.org/licenses/>.
+ *
+ *************************************************************************** */
+
+#ifndef LIB_STDINT_H
+#define LIB_STDINT_H
+
+/* Signed */
+typedef signed char int8_t;
+typedef short int int16_t;
+typedef int int32_t;
+__extension__
+typedef long long int int64_t;
+/* Small types - Signed */
+typedef signed char int_least8_t;
+typedef short int int_least16_t;
+typedef int int_least32_t;
+__extension__
+typedef long long int int_least64_t;
+/* Fast types - Signed */
+typedef signed char int_fast8_t;
+typedef int int_fast16_t;
+typedef int int_fast32_t;
+__extension__
+typedef long long int int_fast64_t;
+
+
+/* Unsigned */
+typedef unsigned char uint8_t;
+typedef unsigned short int uint16_t;
+typedef unsigned int uint32_t;
+__extension__
+typedef unsigned long long int uint64_t;
+/* Small types - Unsigned */
+typedef unsigned char uint_least8_t;
+typedef unsigned short int uint_least16_t;
+typedef unsigned int uint_least32_t;
+__extension__
+typedef unsigned long long int uint_least64_t;
+/* Fast types - Unsigned */
+typedef unsigned char uint_fast8_t;
+typedef unsigned int uint_fast16_t;
+typedef unsigned int uint_fast32_t;
+__extension__
+typedef unsigned long long int uint_fast64_t;
+
+typedef long unsigned int size_t;
+
+
+/* Types for `void *' pointers.  */
+typedef int intptr_t;
+typedef unsigned int uintptr_t;
+
+
+/* Largest integral types.  */
+__extension__
+typedef long long int intmax_t;
+__extension__
+typedef unsigned long long int uintmax_t;
+
+#  define __INT64_C(c)  c ## LL
+#  define __UINT64_C(c) c ## ULL
+
+
+/* Limits of integral types.  */
+
+/* Minimum of signed integral types.  */
+#define INT8_MIN       (-128)
+#define INT16_MIN      (-32767-1)
+#define INT32_MIN      (-2147483647-1)
+#define INT64_MIN      (-__INT64_C(9223372036854775807)-1)
+/* Maximum of signed integral types.  */
+#define INT8_MAX       (127)
+#define INT16_MAX      (32767)
+#define INT32_MAX      (2147483647)
+#define INT64_MAX      (__INT64_C(9223372036854775807))
+
+/* Maximum of unsigned integral types.  */
+#define UINT8_MAX      (255)
+#define UINT16_MAX     (65535)
+#define UINT32_MAX     (4294967295U)
+#define UINT64_MAX     (__UINT64_C(18446744073709551615))
+
+
+#define SIZE_MAX     (4294967295UL)
+
+#define __WORDSIZE  32
+
+
+#endif /* LIB_STDINT_H */
index e6ee86d..35a1c7c 100644 (file)
@@ -22,7 +22,7 @@
 #define LIB_STDIO_H
 
 #include <stdarg.h>
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "lib/string.h"
 
 
index f1f1efa..9e302fb 100644 (file)
 #ifndef LIB_STDLIB_H
 #define LIB_STDLIB_H
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
-/* Simple atoi implementation.
- * Returns the value convertes from the given string.
+/* Simple strtoul implementation.
+ * Returns the value converted from the given string.
  * Does not check that the base is respected aside for the use of letters in
  *   number representation.
  */
index fe2a9f2..748ea37 100644 (file)
 #ifndef LIB_STRING_H
 #define LIB_STRING_H
 
-/* Get size_t, and NULL from <stddef.h>.  */
-#undef __need_malloc_and_calloc
-#define __need_size_t
-#define __need_NULL
-#include <stddef.h>
-#include <stdint.h>
+#include "lib/stddef.h"
+#include "lib/stdint.h"
 
 /**
  * memcpy - Copy one area of memory to another
index 0921753..be9bbc7 100644 (file)
@@ -25,7 +25,7 @@
 #define LIB_TIME_H
 
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /******************************************************************************/
index b477321..838e24d 100644 (file)
@@ -25,7 +25,7 @@
 /* Library routines                                                            */
 /***************************************************************************** */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /***************************************************************************** */
index e73904d..b98c544 100644 (file)
@@ -23,7 +23,7 @@
  * http://opengameart.org/content/8x8-ascii-bitmap-font-with-c-source
  */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "lib/font.h"
 
 /*
index 81e5d67..5071f14 100644 (file)
@@ -20,7 +20,6 @@
  *
  ****************************************************************************/
 
-#include <stdint.h>
 #include "core/system.h"
 #include "core/iap.h"
 #include "core/user_information_block.h"
index be3b2b1..3b9f0fe 100644 (file)
  *
  *************************************************************************** */
 
-#include <stdint.h>
+#include "lib/stdint.h"
+#include "lib/stddef.h"
 
-/* Simple atoi implementation.
+/* Simple strtoul implementation.
  * Returns the value convertes from the given string.
  * Does not check that the base is respected aside for the use of letters in
  *   number representation.
index c68bab0..ee69e32 100644 (file)
  *    reentrant and should be faster). Use only strsep() in new code, please.
  */
 
-/* Get size_t, and NULL from <stddef.h>.  */
-#undef __need_malloc_and_calloc
-#define __need_size_t
-#define __need_NULL
-#include <stddef.h>
-
-#include <stdint.h>
+#include "lib/stddef.h"
+#include "lib/stdint.h"
 
 /**
  * memcpy - Copy one area of memory to another
index 3f2d262..0a609d0 100644 (file)
@@ -20,7 +20,6 @@
  *
  ****************************************************************************/
 
-#include <stdint.h>
 #include "core/lpc_core_cm0.h"
 #include "core/system.h"
 #include "core/systick.h"
index 57269cd..064bcfb 100644 (file)
@@ -21,7 +21,7 @@
  *************************************************************************** */
 
 #include <stdarg.h>
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "drivers/serial.h"
 #include "lib/string.h"
 #include "lib/stdio.h"
index cc4186d..aaaa2a5 100644 (file)
@@ -18,7 +18,7 @@
  *
  *************************************************************************** */
 
-#include <stdint.h>
+#include "lib/stdint.h"
 
 
 /***************************************************************************** */
index 8062778..138f681 100644 (file)
@@ -21,7 +21,7 @@
  *************************************************************************** */
 
 #include <stdarg.h>
-#include <stdint.h>
+#include "lib/stdint.h"
 #include "lib/string.h"
 
 #define ZEROPAD   (1 <<  0)  /* pad with zero */