DEBUG_            157 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h 	do { debug_ptr[DEBUG_ ## d] = __LINE__; dsb(sy); } while (0)
DEBUG_            159 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h 	do { debug_ptr[DEBUG_ ## d] = (v); dsb(sy); } while (0)
DEBUG_            161 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h 	do { debug_ptr[DEBUG_ ## d]++; dsb(sy); } while (0)