/* Output the trace usage to a file */ VOID DumpTraceInfo(INT32 code, VOID *v) { for_each(Trace_Information.begin(), Trace_Information.end(), PrintTrace); }