its_get_baser    2360 drivers/irqchip/irq-gic-v3-its.c 	baser = its_get_baser(its, GITS_BASER_TYPE_DEVICE);
its_get_baser    2386 drivers/irqchip/irq-gic-v3-its.c 		baser = its_get_baser(its, GITS_BASER_TYPE_VCPU);