^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) .. SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) =======
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) Devices
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) =======
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) .. toctree::
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) :maxdepth: 2
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) arm-vgic-its
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) arm-vgic
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) arm-vgic-v3
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) mpic
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) s390_flic
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) vcpu
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) vfio
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) vm
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) xics
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) xive