pvtime.rst (c95baf12f5077419db01313ab61c2aac007d40cd) pvtime.rst (72ef5e52b3f74c0be47b20f5c434b7ecc830cf40)
1.. SPDX-License-Identifier: GPL-2.0
2
3Paravirtualized time support for arm64
4======================================
5
6Arm specification DEN0057/A defines a standard for paravirtualised time
7support for AArch64 guests:
8

--- 62 unchanged lines hidden (view full) ---

71will be present within a reserved region of the normal memory given to the
72guest. The guest should not attempt to write into this memory. There is a
73structure per VCPU of the guest.
74
75It is advisable that one or more 64k pages are set aside for the purpose of
76these structures and not used for other purposes, this enables the guest to map
77the region using 64k pages and avoids conflicting attributes with other memory.
78
1.. SPDX-License-Identifier: GPL-2.0
2
3Paravirtualized time support for arm64
4======================================
5
6Arm specification DEN0057/A defines a standard for paravirtualised time
7support for AArch64 guests:
8

--- 62 unchanged lines hidden (view full) ---

71will be present within a reserved region of the normal memory given to the
72guest. The guest should not attempt to write into this memory. There is a
73structure per VCPU of the guest.
74
75It is advisable that one or more 64k pages are set aside for the purpose of
76these structures and not used for other purposes, this enables the guest to map
77the region using 64k pages and avoids conflicting attributes with other memory.
78
79For the user space interface see Documentation/virt/kvm/devices/vcpu.txt
79For the user space interface see Documentation/virt/kvm/devices/vcpu.rst
80section "3. GROUP: KVM_ARM_VCPU_PVTIME_CTRL".
80section "3. GROUP: KVM_ARM_VCPU_PVTIME_CTRL".