blob: 357790df876f1f493cad0663a980de452de4411c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
# 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>;
};
|