ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
mbed-os/targets/TARGET_Samsung/TARGET_SIDK_S5JS100
History
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
..
device CMake: Add support for Samsung S5JS100 target 2020-12-10 09:39:39 +00:00
modem Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
security_subsystem move security_subsystem to TARGET_SIDK_S5JS100 2020-08-11 16:26:48 +09:00
CMakeLists.txt CMake: Create CMSIS library targets to remove dependency on MBED_TARGET_LABELS 2021-02-19 13:39:32 +00:00
PeripheralNames.h Update UART pin names & add MBED_CONF_TARGET_STDIO_UART overrides 2021-03-23 11:17:17 +00:00
PinNames.h Add standard pin-names validation script & tests 2021-03-18 17:01:53 +00:00
PortNames.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
dcxo_update.cpp Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
device.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
gpio.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
gpio_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09: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 Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
i2c_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
i2c_def.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
mbed_main_init.cpp Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
mbed_rtx.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
mbed_sdk_init.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
objects.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
pinmap.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
rtc_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_dcxo.cpp Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_dcxo.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_error.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pinconfig.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pmip.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pmip.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pmusfr.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pwr.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pwr.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_rtos.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_watchdog.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_watchdog.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
serial_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
serial_dummy_api.c Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
serial_pl011_api.c Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
serial_usi_api.c Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
sleep.c S5JS100: remove idle hook which is essentially the non-Tickless hook from Mbed OS 2020-11-27 17:47:08 +00:00
spi_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
spi_def.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
us_ticker.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
us_ticker.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
watchdog_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00