Lines Matching +full:inter +full:- +full:processor

1 .. SPDX-License-Identifier: GPL-2.0
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
56 * Current processor priority, 8 bits
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