REGISTER_DESC_WITH_BITS_PER_IRQ  407 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_IGROUP,
REGISTER_DESC_WITH_BITS_PER_IRQ  411 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_ENABLE_SET,
REGISTER_DESC_WITH_BITS_PER_IRQ  414 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_ENABLE_CLEAR,
REGISTER_DESC_WITH_BITS_PER_IRQ  417 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_PENDING_SET,
REGISTER_DESC_WITH_BITS_PER_IRQ  420 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_PENDING_CLEAR,
REGISTER_DESC_WITH_BITS_PER_IRQ  423 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_ACTIVE_SET,
REGISTER_DESC_WITH_BITS_PER_IRQ  427 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_ACTIVE_CLEAR,
REGISTER_DESC_WITH_BITS_PER_IRQ  431 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_PRI,
REGISTER_DESC_WITH_BITS_PER_IRQ  434 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_TARGET,
REGISTER_DESC_WITH_BITS_PER_IRQ  437 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_CONFIG,