92a93,104
>
> static inline Addr
> x86IOAddress(const uint32_t port)
> {
> return PhysAddrPrefixIO | port;
> }
>
> static inline Addr
> x86PciConfigAddress(const uint32_t addr)
> {
> return PhysAddrPrefixPciConfig | addr;
> }