- /*warm_cache_op_range(WOP_D_CLEAN, last_##which##_translation_ptr, \
- which##_translation_ptr - last_##which##_translation_ptr);*/ \
+ warm_cache_op_range(WOP_D_CLEAN, last_##which##_translation_ptr, \
+ which##_translation_ptr - last_##which##_translation_ptr); \