GITS_BASER_TYPE_DEVICE 1729 drivers/irqchip/irq-gic-v3-its.c 	[GITS_BASER_TYPE_DEVICE]	= "Devices",
GITS_BASER_TYPE_DEVICE 1970 drivers/irqchip/irq-gic-v3-its.c 		case GITS_BASER_TYPE_DEVICE:
GITS_BASER_TYPE_DEVICE 2360 drivers/irqchip/irq-gic-v3-its.c 	baser = its_get_baser(its, GITS_BASER_TYPE_DEVICE);
GITS_BASER_TYPE_DEVICE  908 virt/kvm/arm/vgic/vgic-its.c 	case GITS_BASER_TYPE_DEVICE:
GITS_BASER_TYPE_DEVICE 1652 virt/kvm/arm/vgic/vgic-its.c 		table_type = GITS_BASER_TYPE_DEVICE;
GITS_BASER_TYPE_DEVICE 1678 virt/kvm/arm/vgic/vgic-its.c 		case GITS_BASER_TYPE_DEVICE:
GITS_BASER_TYPE_DEVICE 1911 virt/kvm/arm/vgic/vgic-its.c 		((u64)GITS_BASER_TYPE_DEVICE << GITS_BASER_TYPE_SHIFT);