1a2,13
> * Copyright (c) 2014 ARM Limited
> * All rights reserved
> *
> * The license below extends only to copyright in the software and shall
> * not be construed as granting a license to any other intellectual
> * property including but not limited to intellectual property relating
> * to a hardware implementation of the functionality of the software
> * licensed hereunder. You may use the software subject to the license
> * terms below provided that you ensure that this notice is replicated
> * unmodified and in its entirety in all distributions of the software,
> * modified or unmodified, in source code or in binary form.
> *
58,59c70,83
< void dprintf(Tick when, const std::string &name, const char *format,
< CPRINTF_DECLARATION);
---
> bool __dprintf_prologue(Tick when, const std::string &name);
>
> template<typename ...Args> void
> dprintf(Tick when, const std::string &name, const char *format,
> const Args &...args)
> {
> if (!__dprintf_prologue(when, name))
> return;
>
> std::ostream &os(output());
> ccprintf(os, format, args...);
> os.flush();
> }
>