include/hw/arm/xlnx-zynqmp.h | 4 +++ include/hw/timer/cadence_ttc.h | 54 ++++++++++++++++++++++++++++++++++ hw/arm/xlnx-zynqmp.c | 22 ++++++++++++++ hw/timer/cadence_ttc.c | 32 ++------------------ 4 files changed, 82 insertions(+), 30 deletions(-) create mode 100644 include/hw/timer/cadence_ttc.h