__VCCOREVER__      15 drivers/staging/vc04_services/interface/vchi/vchi_cfg.h #   if __VCCOREVER__ >= 0x04000000
__VCCOREVER__      26 drivers/staging/vc04_services/interface/vchi/vchi_cfg.h #   if __VCCOREVER__ >= 0x04000000