Hello,

First two patches are bugfixes, last patch switches the ns16550 driver
to use pci_sbdf_t.

Thanks, Roger.

Roger Pau Monne (3):
  xen/uart: uniformly set ->ps_bdf_enable for all PCI serial devices
  xen/uart: be more careful with changes to the PCI command register
  xen/uart: switch ns16550 to use pci_sbdf_t

 xen/drivers/char/ns16550.c | 145 +++++++++++++++++--------------------
 1 file changed, 67 insertions(+), 78 deletions(-)

-- 
2.51.0