Symbol: VCHIQ_MAX_STATES
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
2803
handle_seq = VCHIQ_MAX_STATES *
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
2808
handle_seq += VCHIQ_MAX_STATES * VCHIQ_MAX_SERVICES;