Xen Documentation
- arm64
arm64
Generic Timer