REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  475 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_IGROUPR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  478 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ISENABLER,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  481 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ICENABLER,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  484 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ISPENDR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  488 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ICPENDR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  492 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ISACTIVER,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  496 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ICACTIVER,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  500 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_IPRIORITYR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  503 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ITARGETSR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  506 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ICFGR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  509 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_IGRPMODR,
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED  512 virt/kvm/arm/vgic/vgic-mmio-v3.c 	REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_IROUTER,