root/drivers/staging/vc04_services/interface/vchi/

[..]
  1. vchi.h
  2. vchi_cfg.h
  3. vchi_common.h
[..]