Hello,

First patch is a fix for the calculation of the max number of pIRQs
allowed to dom0, second patch fixes the print of dom0 pIRQ limits so
it's also printed for a PVH dom0.

Thanks, Roger.

Roger Pau Monne (2):
  x86/irq: fix calculation of max PV dom0 pIRQs
  x86/pvh: also print hardware domain pIRQ limit for PVH

 xen/arch/x86/io_apic.c | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

-- 
2.46.0