> From: Jan Beulich [mailto:jbeul...@suse.com]
> Sent: Tuesday, April 21, 2015 3:31 PM
>
> Just like the other messages in this function this one should be issued
> through plain printk() - the current vCPU is irrelevant here. (Noticed
> while backporting to older trees, which don't have gprintk()
Just like the other messages in this function this one should be issued
through plain printk() - the current vCPU is irrelevant here. (Noticed
while backporting to older trees, which don't have gprintk().)
Signed-off-by: Jan Beulich
--- a/xen/drivers/passthrough/vtd/iommu.c
+++ b/xen/drivers/pas
