Xen users - Feb 2013 - Dynamic Debugging

Hi,

I''m using printk and DPRINTK on several files like 
drivers/xen/xenbus/xenbus_probe.c,
drivers/xen/xenbus/xenbus_probe_backend.c, etc. in Linux-3.7.5 but
don''t
see some of
the messages I expected to see in syslog or dmesg. I have printk''s in 
almost all the functions
in these files but I don''t see most of them.

I also enabled CONFIG_DYNAMIC_DEBUG and turned on each of those files 
for logging in
/sys/kernel/debug/dynamic_debug/control but I don''t see them anywhere 
when I''m
trying to create a guest domain.

Thanks,
Yathi