VCHI_LOCAL_HOST_PORT   35 drivers/staging/vc04_services/interface/vchi/vchi_cfg.h #   if defined VCHI_LOCAL_HOST_PORT
VCHI_LOCAL_HOST_PORT   72 drivers/staging/vc04_services/interface/vchi/vchi_cfg.h #  if defined(VCHI_LOCAL_HOST_PORT)