misc: bcm-vk: Annotate struct bcm_vk_wkent with __counted_by

[linux-2.6-microblaze.git] / drivers / misc / bcm-vk / bcm_vk_msg.h

diff --git a/drivers/misc/bcm-vk/bcm_vk_msg.h b/drivers/misc/bcm-vk/bcm_vk_msg.h
index 56784c8..157495e 100644 (file)
--- a/drivers/misc/bcm-vk/bcm_vk_msg.h
+++ b/drivers/misc/bcm-vk/bcm_vk_msg.h
@@ -116,7 +116,7 @@ struct bcm_vk_wkent {
        u32 usr_msg_id;
        u32 to_v_blks;
        u32 seq_num;
-       struct vk_msg_blk to_v_msg[];
+       struct vk_msg_blk to_v_msg[] __counted_by(to_v_blks);
 };
 
 /* queue stats counters */