Lines Matching +full:implementation +full:- +full:defined

9 controller, requiring emulated user-space devices to inject interrupts to the
14 device and guest ITS devices, see arm-vgic-v3.txt.  It is not possible to
21     KVM_VGIC_V2_ADDR_TYPE_DIST (rw, 64-bit)
26     KVM_VGIC_V2_ADDR_TYPE_CPU (rw, 64-bit)
31     -E2BIG:  Address outside of addressable IPA range
32     -EINVAL: Incorrectly aligned address
33     -EEXIST: Address already configured
34     -ENXIO:  The group or attribute is unknown/unsupported for this device
36     -EFAULT: Invalid user pointer for attr->addr.
44     All distributor regs are (rw, 32-bit)
46     The offset is relative to the "Distributor base address" as defined in the
53     GICD_IIDR.Revision is updated when the KVM implementation of an emulated
56     confirm its expected behavior is aligned with the KVM implementation.
62     -ENXIO: Getting or setting this register is not yet supported
63     -EBUSY: One or more VCPUs are running
64     -EINVAL: Invalid vcpu_index supplied
72     All CPU interface regs are (rw, 32-bit)
75     defined in the GICv2 specs.  Getting or setting such a register has the
78     The Active Priorities Registers APRn are implementation defined, so we set a
79     fixed format for our implementation that fits with the model of a "GICv2
80     implementation without the security extensions" which we present to the
81     guest.  This interface always exposes four register APR[0-3] describing the
104     -ENXIO: Getting or setting this register is not yet supported
105     -EBUSY: One or more VCPUs are running
106     -EINVAL: Invalid vcpu_index supplied
114     -EINVAL: Value set is out of the expected range
115     -EBUSY: Value has already be set, or GIC has already been initialized
124     -ENXIO: VGIC not properly configured as required prior to calling
126     -ENODEV: no online VCPU
127     -ENOMEM: memory shortage when allocating vgic internal data