18c2ecf20Sopenharmony_ci.. SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci 38c2ecf20Sopenharmony_ci======= 48c2ecf20Sopenharmony_ciDevices 58c2ecf20Sopenharmony_ci======= 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci.. toctree:: 88c2ecf20Sopenharmony_ci :maxdepth: 2 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci arm-vgic-its 118c2ecf20Sopenharmony_ci arm-vgic 128c2ecf20Sopenharmony_ci arm-vgic-v3 138c2ecf20Sopenharmony_ci mpic 148c2ecf20Sopenharmony_ci s390_flic 158c2ecf20Sopenharmony_ci vcpu 168c2ecf20Sopenharmony_ci vfio 178c2ecf20Sopenharmony_ci vm 188c2ecf20Sopenharmony_ci xics 198c2ecf20Sopenharmony_ci xive 20