| # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause) | |
| %YAML 1.2 | |
| --- | |
| $id: http://devicetree.org/schemas/ptp/amazon,vmclock.yaml# | |
| $schema: http://devicetree.org/meta-schemas/core.yaml# | |
| title: Virtual Machine Clock | |
| maintainers: | |
| - David Woodhouse <dwmw2@infradead.org> | |
| description: | |
| The vmclock device provides a precise clock source and allows for | |
| accurate timekeeping across live migration and snapshot/restore | |
| operations. The full specification of the shared data structure is | |
| available at https://uapi-group.org/specifications/specs/vmclock/ | |
| properties: | |
| compatible: | |
| const: amazon,vmclock | |
| reg: | |
| description: | |
| Specifies the shared memory region containing the vmclock_abi structure. | |
| maxItems: 1 | |
| interrupts: | |
| description: | |
| Interrupt used to notify when the contents of the vmclock_abi structure | |
| have been updated. | |
| maxItems: 1 | |
| required: | |
| - compatible | |
| - reg | |
| additionalProperties: false | |
| examples: | |
| - | | |
| #include <dt-bindings/interrupt-controller/arm-gic.h> | |
| ptp@80000000 { | |
| compatible = "amazon,vmclock"; | |
| reg = <0x80000000 0x1000>; | |
| interrupts = <GIC_SPI 36 IRQ_TYPE_EDGE_RISING>; | |
| }; |