1# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause) 2%YAML 1.2 3--- 4$id: http://devicetree.org/schemas/ptp/amazon,vmclock.yaml# 5$schema: http://devicetree.org/meta-schemas/core.yaml# 6 7title: Virtual Machine Clock 8 9maintainers: 10 - David Woodhouse <dwmw2@infradead.org> 11 12description: 13 The vmclock device provides a precise clock source and allows for 14 accurate timekeeping across live migration and snapshot/restore 15 operations. The full specification of the shared data structure is 16 available at https://uapi-group.org/specifications/specs/vmclock/ 17 18properties: 19 compatible: 20 const: amazon,vmclock 21 22 reg: 23 description: 24 Specifies the shared memory region containing the vmclock_abi structure. 25 maxItems: 1 26 27 interrupts: 28 description: 29 Interrupt used to notify when the contents of the vmclock_abi structure 30 have been updated. 31 maxItems: 1 32 33required: 34 - compatible 35 - reg 36 37additionalProperties: false 38 39examples: 40 - | 41 #include <dt-bindings/interrupt-controller/arm-gic.h> 42 ptp@80000000 { 43 compatible = "amazon,vmclock"; 44 reg = <0x80000000 0x1000>; 45 interrupts = <GIC_SPI 36 IRQ_TYPE_EDGE_RISING>; 46 }; 47