Re: [Xen-devel] Debug event_channel.c

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 27/09/11 12:09, Daniel Castro wrote:
> Hello All,
>
> I am trying to debug event_channel.c for this I have filled the
> functions with gdprintk(XENLOG_WARNING, "..."); yet the messages are
> not displayed on dmesg or /var/log/xen. Where could they be printed?
> or should I use a different function?
>
> In grub I have loglvl=all to print all messages...
>
> Thanks for the answer,
>
> Daniel
>

gdprintk only gets set with guest debugging enabled. ( guest_loglvl on
the command line )

My suggestion would be to just use regular printks and look at the
serial log.

-- 
Andrew Cooper - Dom0 Kernel Engineer, Citrix XenServer
T: +44 (0)1223 225 900, http://www.citrix.com


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel