Symbol: DEBUG_VALUE
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
1944
DEBUG_VALUE(PARSE_HEADER, (int)(long)header);
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
1946
DEBUG_VALUE(PARSE_MSGID, msgid);