virt/kvm/api.rst

855 (The irq_id field thus corresponds nicely to the IRQ ID in the ARM GIC specs)
1741   the device ID.  If this capability is not available, userspace should
1835 (reported by MSR_IA32_APICBASE) of its VCPU.  x2APIC stores APIC ID in
1836 the APIC_ID register (bytes 32-35).  xAPIC only allows an 8-bit APIC ID
1864 The format of the APIC ID register (bytes 32-35 of struct kvm_lapic_state's
2128   EINVAL   invalid register ID, or no such register or used with VMs in
2567   EINVAL   invalid register ID, or no such register or used with VMs in
2634   the device ID.  If this capability is not available, userspace
2830   irqchip.pin + 32 corresponds to the injected SPI ID.
2832   message and device ID are translated into an LPI (support restricted
5519              args[1] is the XICS CPU number (server ID) for this vcpu
5612              args[1] is the XIVE CPU number (server ID) for this vcpu