Hari Limaye f4e5359710 GPIO: Use uintptr_t for gpio_irq_api context ... The HAL gpio_irq_api stores object IDs, which serve as a form of context for the dispatch of the interrupt handler in the drivers level InterruptIn Class. The way this is achieved is that the InterruptIn Class casts its address to uint32_t, which is stored as the ID. This results in compilation failure when the size of an object pointer is greater than uint32_t, for example when building on a PC for unit testing. In order to allow Unit Testing of the InterruptIn Class, we replace the use of uint32_t with uintptr_t (type capable of holding a pointer), which allows portability and expresses intentions more clearly. In aid of this latter goal, we also replace the use of the name "id" with "context", to improve clarity - these are addresses of the context related to that callback.		2022-01-26 18:12:52 +00:00
..
TARGET_EFM32	GPIO: Use uintptr_t for gpio_irq_api context	2022-01-26 18:12:52 +00:00
TARGET_SL_RAIL	CMake: Refactor Silicon Laboratories targets	2021-02-12 15:39:18 +00:00
CMakeLists.txt	CMake: Create CMSIS library targets to remove dependency on MBED_TARGET_LABELS	2021-02-19 13:39:32 +00:00
mbed_rtx.h	Add SPDX license identifier to Arm files	2020-10-15 10:47:27 +01:00