SYS_CNTP_TVAL_EL0
HOST_HANDLED(SYS_CNTP_TVAL_EL0),
case SYS_CNTP_TVAL_EL0:
{ SYS_DESC(SYS_CNTP_TVAL_EL0), access_arch_timer },