BASER_INDEX      1619 virt/kvm/arm/vgic/vgic-its.c 	switch (BASER_INDEX(addr)) {
BASER_INDEX      1648 virt/kvm/arm/vgic/vgic-its.c 	switch (BASER_INDEX(addr)) {