DEBUG_VALUE      1543 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 		DEBUG_VALUE(PARSE_HEADER, (int)(long)header);
DEBUG_VALUE      1545 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 		DEBUG_VALUE(PARSE_MSGID, msgid);