Symbol: GITS_BASER_TYPE_VCPU
drivers/irqchip/irq-gic-v3-its.c
2357
[GITS_BASER_TYPE_VCPU] = "Virtual CPUs",
drivers/irqchip/irq-gic-v3-its.c
2702
case GITS_BASER_TYPE_VCPU:
drivers/irqchip/irq-gic-v3-its.c
3442
baser = its_get_baser(its, GITS_BASER_TYPE_VCPU);