C Instrumentation Framework

For the driver

linux-3.12-rc1.tar.xz    32_7a    drivers/media/v4l2-core/videodev.ko    ldv_main0_sequence_infinite_withcheck_stateful

CIF produces the code

static inline long unsigned int free_initmem_default(int poison)
{
  char __init_begin[];
# 1350 "include/linux/mm.h" 
  char __init_end[];
# 1352 "include/linux/mm.h" 
  return free_reserved_area ( ( void *) & __init_begin , ( void *) & __init_end , poison ,
# 1353 "include/linux/mm.h" 
  ( char *) "unused kernel" );
}

which leads to the error

include/linux/mm.h:1350:8: error: array size missing in ‘__init_begin’
include/linux/mm.h:1350:8: error: array size missing in ‘__init_end’

original code:

extern char __init_begin[], __init_end[];