vchiq_instance_get_pid  171 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.h vchiq_instance_get_pid(VCHIQ_INSTANCE_T instance);
vchiq_instance_get_pid  193 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_debugfs.c 		 vchiq_instance_get_pid(instance));