On Thu, Apr 23, 2020 at 10:39:39AM +0200, Jan Beulich wrote: > Where gprintk()s get touched anyway to switch to PRI_gfn, also switch to > %pd for the domain logged. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Roger Pau Monné <roger....@citrix.com> Thanks, Roger.