root/drivers/staging/vc04_services/interface/

[..]
  1. vchi/
  2. vchiq_arm/
[..]