VGIC_V2_MAX_LRS   225 include/kvm/arm_vgic.h 	u32		vgic_lr[VGIC_V2_MAX_LRS];
VGIC_V2_MAX_LRS   251 include/kvm/arm_vgic.h 	DECLARE_BITMAP(	lr_used, VGIC_V2_MAX_LRS);