diff options
author | Christoffer Dall <c.dall@virtualopensystems.com> | 2013-01-21 19:36:13 -0500 |
---|---|---|
committer | Marc Zyngier <marc.zyngier@arm.com> | 2013-02-11 13:59:01 -0500 |
commit | 330690cdceba06b60afcfe50a65f72fab7f4f970 (patch) | |
tree | 3dc8a6a3e8324e4e9d724497dd45942b1d66a042 /Documentation/virtual | |
parent | 1a89dd9113badd7487313410a5f2e09b2944f92b (diff) |
ARM: KVM: VGIC accept vcpu and dist base addresses from user space
User space defines the model to emulate to a guest and should therefore
decide which addresses are used for both the virtual CPU interface
directly mapped in the guest physical address space and for the emulated
distributor interface, which is mapped in software by the in-kernel VGIC
support.
Reviewed-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Diffstat (limited to 'Documentation/virtual')
-rw-r--r-- | Documentation/virtual/kvm/api.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/virtual/kvm/api.txt b/Documentation/virtual/kvm/api.txt index 4505f869e450..e0fa0ea2b187 100644 --- a/Documentation/virtual/kvm/api.txt +++ b/Documentation/virtual/kvm/api.txt | |||
@@ -2222,6 +2222,7 @@ Errors: | |||
2222 | ENXIO: Device not supported on current system | 2222 | ENXIO: Device not supported on current system |
2223 | EEXIST: Address already set | 2223 | EEXIST: Address already set |
2224 | E2BIG: Address outside guest physical address space | 2224 | E2BIG: Address outside guest physical address space |
2225 | EBUSY: Address overlaps with other device range | ||
2225 | 2226 | ||
2226 | struct kvm_arm_device_addr { | 2227 | struct kvm_arm_device_addr { |
2227 | __u64 id; | 2228 | __u64 id; |