linux_dsm_epyc7002/virt/kvm/arm
..
arch_timer.c
vgic.c