Dmitry Frolov c5d36da7ec hw/timer/exynos4210_mct: fix possible int overflow ...

The product "icnto * s->tcntb" may overflow uint32_t.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Signed-off-by: Dmitry Frolov <frolov@swemel.ru>
Message-id: 20241106083801.219578-2-frolov@swemel.ru
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

2024-11-19 13:02:05 +00:00

..

a9gtimer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

allwinner-a10-pit.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

arm_mptimer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

arm_timer.c

…

armv7m_systick.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

aspeed_timer.c

hw/timer/aspeed: Fix interrupt status does not be cleared for AST2600

2024-11-04 11:33:13 +01:00

avr_timer16.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

bcm2835_systmr.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

cadence_ttc.c

…

cmsdk-apb-dualtimer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

cmsdk-apb-timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

digic-timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

exynos4210_mct.c

hw/timer/exynos4210_mct: fix possible int overflow

2024-11-19 13:02:05 +00:00

exynos4210_pwm.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

grlib_gptimer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

hpet.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

i8254_common.c

…

i8254.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

ibex_timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

imx_epit.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

imx_gpt.c

hw/timer/imx_gpt: Convert DPRINTF to trace events

2024-11-05 10:09:59 +00:00

Kconfig

hw/arm: Remove STRONGARM->PXA2XX dependency

2024-10-01 14:21:43 +01:00

meson.build

hw/timer: Remove omap_synctimer

2024-10-01 14:56:27 +01:00

mips_gictimer.c

…

mss-timer.c

…

npcm7xx_timer.c

hw, target: Add ResetType argument to hold and exit phase methods

2024-04-25 10:21:06 +01:00

nrf51_timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

pxa2xx_timer.c

hw/timer: Remove pxa27x-timer

2024-10-01 14:28:46 +01:00

renesas_cmt.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

renesas_tmr.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

sh_timer.c

…

sifive_pwm.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

slavio_timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

sse-counter.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

sse-timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

stellaris-gptm.c

…

stm32f2xx_timer.c

hw: Use device_class_set_legacy_reset() instead of opencoding

2024-09-13 15:31:44 +01:00

trace-events

hw/timer/imx_gpt: Convert DPRINTF to trace events

2024-11-05 10:09:59 +00:00

trace.h

…

xilinx_timer.c

…