Lines Matching refs:clo_xml
42 #include "pub_tool_options.h" // VG_(clo_xml)
740 channel, depending on the setting of VG_(clo_xml).
744 if (VG_(clo_xml)) {
772 if (VG_(clo_xml)) {
821 if (VG_(clo_xml)) {
927 const Bool xml = VG_(clo_xml); /* a shorthand, that's all */
