vchiq_platform_use_suspend_timer 2855 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 		if (vchiq_platform_use_suspend_timer() &&
vchiq_platform_use_suspend_timer  143 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.h vchiq_platform_use_suspend_timer(void);