On 09.09.19 09:53, Jan Beulich wrote:
On 09.09.2019 09:35, Juergen Gross wrote:
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -1173,6 +1173,7 @@ static char*debugtrace_buf; /* Debug-trace buffer
*/
static unsigned int debugtrace_prd; /* Producer index */
s
On 09.09.2019 09:53, Jan Beulich wrote:
> On 09.09.2019 09:35, Juergen Gross wrote:
>> --- a/xen/drivers/char/console.c
>> +++ b/xen/drivers/char/console.c
>> @@ -1173,6 +1173,7 @@ static char*debugtrace_buf; /* Debug-trace
>> buffer */
>> static unsigned int debugtrace_prd; /* Producer i
On 09.09.2019 09:35, Juergen Gross wrote:
> --- a/xen/drivers/char/console.c
> +++ b/xen/drivers/char/console.c
> @@ -1173,6 +1173,7 @@ static char*debugtrace_buf; /* Debug-trace
> buffer */
> static unsigned int debugtrace_prd; /* Producer index */
> static unsigned int debugtrace_k
After dumping the debugtrace buffer it is cleared. This results in some
entries not being printed in case the buffer is dumped again before
having wrapped.
While at it remove the trailing zero byte in the buffer as it is no
longer needed. Commit b5e6e1ee8da59f introduced passing the number of
char