On 16 March 2016 at 10:46, Paolo Bonzini <pbonz...@redhat.com> wrote: > Using uint32_t is enough and avoids the need to include ioport.h everywhere. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
I'm not hugely convinced by this patch -- I think it's nice to have a typedef that indicates that you're dealing with an IO port address (and not some other kind of address or number). thanks -- PMM