Re: [PATCH v5 02/12] KVM: arm64: selftests: Data type cleanup for arch_timer test