The following are the requirements related to ARM Generic Timer [1] interface exposed by Xen to Arm64 domains.
XenSwdgn~arm64_generic_timer_probe_dt~1
Description: Xen shall generate a device tree node for the Generic Timer (in accordance to ARM architected timer device tree binding [2]) in the domain device tree.
Rationale:
Comments: Domains can detect the presence of the Generic Timer device tree node.
XenSwdgn~arm64_generic_timer_read_freq~1
Description: Xen shall expose the frequency of the system counter to the domains in CNTFRQ_EL0 register and/or domain device tree's "clock-frequency" property.
Rationale:
Comments:
XenSwdgn~arm64_generic_timer_access_cntkctlel1~1
Description: Xen shall expose Counter-timer Kernel Control register (CNTKCTL_EL1) to the domains.
Rationale:
Comments:
XenSwdgn~arm64_generic_timer_access_virtual_timer~1
Description: Xen shall expose the virtual timer registers (CNTVCT_EL0, CNTV_CTL_EL0, CNTV_CVAL_EL0, CNTV_TVAL_EL0) to the domains.
Rationale:
Comments:
XenSwdgn~arm64_generic_timer_access_physical_timer~1
Description: Xen shall expose physical timer registers (CNTPCT_EL0, CNTP_CTL_EL0, CNTP_CVAL_EL0, CNTP_TVAL_EL0) to the domains.
Rationale:
Comments:
XenSwdgn~arm64_generic_timer_trigger_virtual_interrupt~1
Description: Xen shall generate virtual timer interrupts to domains when the virtual timer condition is met.
Rationale:
Comments:
XenSwdgn~arm64_generic_timer_trigger_physical_interrupt~1
Description: Xen shall generate physical timer interrupts to domains when the physical timer condition is met.
Rationale:
Comments:
[1] Arm Architecture Reference Manual for A-profile architecture, Chapter 11 [2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/timer/arm,arch_timer.yaml