On 29.07.2019 16:28, Juergen Gross wrote:
> On 29.07.19 16:00, Jan Beulich wrote:
>> On 29.07.2019 15:30, Juergen Gross wrote:
>>> On 29.07.19 14:45, Jan Beulich wrote:
On 28.07.2019 10:40, Juergen Gross wrote:
> -#endif /* !CONFIG_DEBUG_TRACE */
> -
> -
> /*
> * *
On 29.07.19 16:00, Jan Beulich wrote:
On 29.07.2019 15:30, Juergen Gross wrote:
On 29.07.19 14:45, Jan Beulich wrote:
On 28.07.2019 10:40, Juergen Gross wrote:
-#endif /* !CONFIG_DEBUG_TRACE */
-
-
/*
* **
*
On 29.07.2019 15:30, Juergen Gross wrote:
> On 29.07.19 14:45, Jan Beulich wrote:
>> On 28.07.2019 10:40, Juergen Gross wrote:
>>> -#endif /* !CONFIG_DEBUG_TRACE */
>>> -
>>> -
>>> /*
>>> * **
>>> * *** Debugging/tra
On 29.07.19 14:45, Jan Beulich wrote:
On 28.07.2019 10:40, Juergen Gross wrote:
-#endif /* !CONFIG_DEBUG_TRACE */
-
-
/*
* **
* *** Debugging/tracing/error-report ***
... what about this one? There's
On 28.07.2019 10:40, Juergen Gross wrote:
> @@ -1155,178 +1155,6 @@ int printk_ratelimit(void)
> return __printk_ratelimit(printk_ratelimit_ms, printk_ratelimit_burst);
> }
>
> -/*
> - * **
> - * *** Serial console r
Instead of living in drivers/char/console.c move the debugtrace
related coding to a new file common/debugtrace.c
Signed-off-by: Juergen Gross
---
xen/common/Makefile| 1 +
xen/common/debugtrace.c| 177 +
xen/drivers/char/console.c | 176 +