mbed-os/targets/TARGET_ARM_FM/TARGET_FVP_MPS2
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
..
SDK Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
TARGET_FVP_MPS2_M0 Add bare metal support to ARM FM targets 2021-02-25 09:59:41 +00:00
TARGET_FVP_MPS2_M0P Add bare metal support to ARM FM targets 2021-02-25 09:59:41 +00:00
TARGET_FVP_MPS2_M3 Add bare metal support to ARM FM targets 2021-02-25 09:59:41 +00:00
TARGET_FVP_MPS2_M4 Add bare metal support to ARM FM targets 2021-02-25 09:59:41 +00:00
TARGET_FVP_MPS2_M7 Add bare metal support to ARM FM targets 2021-02-25 09:59:41 +00:00
drivers Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
CMakeLists.txt CMake fvp mps2: fix linking to arm-fm 2021-02-14 19:44:28 +00:00
FVP_MPS2.h Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
PeripheralNames.h Update UART pin names & add MBED_CONF_TARGET_STDIO_UART overrides 2021-03-23 11:17:17 +00:00
PinNames.h Update UART pin names & add MBED_CONF_TARGET_STDIO_UART overrides 2021-03-23 11:17:17 +00:00
PortNames.h Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
analogin_api.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
device.h Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
flash_api.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
gpio_api.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
gpio_irq_api.c GPIO: Use uintptr_t for gpio_irq_api context 2022-01-26 18:12:52 +00:00
gpio_object.h Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
i2c_api.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
lp_ticker.c FastModel: Add SPDX License Identifier 2019-04-08 11:50:22 +01:00
objects.h Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
pinmap.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
port_api.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
serial_api.c Update UART pin names & add MBED_CONF_TARGET_STDIO_UART overrides 2021-03-23 11:17:17 +00:00
sleep_api.c FastModel: Add SPDX License Identifier 2019-04-08 11:50:22 +01:00
spi_api.c Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
spi_def.h Add SPDX license identifier to Arm files 2020-10-15 10:47:27 +01:00
trng_api.c FASTMODEL: add a comment for TRNG simulation 2019-09-30 16:43:44 +01:00
us_ticker.c FastModel: Add SPDX License Identifier 2019-04-08 11:50:22 +01:00