Hi, This is a fairly trivial fix for a uint64_t overflow however I spent some time making sure I understood why we got stuck in a busy loop and adding tests to both tcg and kvm-unit-tests.
Alex Bennée (2): target/arm: detect 64 bit overflow caused by high cval + voff tests/tcg: add a vtimer test for aarch64 target/arm/helper.c | 3 + tests/tcg/aarch64/system/vtimer.c | 80 +++++++++++++++++++++++ tests/tcg/aarch64/Makefile.softmmu-target | 4 ++ 3 files changed, 87 insertions(+) create mode 100644 tests/tcg/aarch64/system/vtimer.c -- 2.20.1