Lines Matching +full:ipi +full:- +full:id

1 .. SPDX-License-Identifier: GPL-2.0
20   interrupt server numbers (ie, highest possible vcpu id plus one).
25     -EINVAL  Value greater than KVM_MAX_VCPU_IDS.
26     -EFAULT  Invalid user pointer for attr->addr.
27     -EBUSY   A vcpu is already connected to the device.
32 sources, each identified by a 20-bit source number, and a set of
43 least-significant end of the word:
50 * Pending IPI (inter-processor interrupt) priority, 8 bits
51   Zero is the highest priority, 255 means no IPI is pending.
54   Zero means no interrupt pending, 2 means an IPI is pending
64 bitfields, starting from the least-significant end of the word:
79   This bit is 1 for a level-sensitive interrupt source, or 0 for
80   edge-sensitive (or MSI).
85   regardless of its priority), for example by the ibm,int-off RTAS