ARM64 not waking up from k_msleep(10) stuck in wfi

[mohdyusuf]

I cant seem to get out of arch_cpu_idle where CPU is stuck at wfi after executing:
k_msleep(10);

I have configured ARM64 as QEMU/Broadcom A72 reference. My hunch is that timer interrupt is not kicking processor out of wfi and I am not sure how to check that yet.

I also tried on another board using Cortex M and these basic settings are enough to get k_msleep() working w/ precise time. Cortex M board use their configs accordingly.

Any tips are appreciated.

I have set:
CONFIG_ARM_ARCH_TIMER=y
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=10000000

From the .config, I can see:
CONFIG_GIC_V3=y
CONFIG_CORTEX_A=y
...