inl
#define in32(a) inl(a)
uint32_t inl(unsigned);
#define acpi_md_OsIn32(x) inl((x))
((t) == IA64_BUS_SPACE_IO ? (inl((h) + (o))) : \
outl(addr2, inl(addr1));
outl(addr2, inl(addr1));
*buf++ = inl(port);
#define in32(a) inl(a)
printf(" CFG reg (1)= %x\n", inl(0xc0010080));
printf(" TCE reg (1)= %x\n", inl(0xc001009c));
#define acpi_md_OsIn32(x) inl((x))
uint32_t inl(unsigned);
data = inl(pci_conf_port(tag, reg));
sav = inl(PCI_MODE1_ADDRESS_REG);
val = inl(PCI_MODE1_ADDRESS_REG);
val = inl(PCI_MODE1_ADDRESS_REG);
outl(addr2, inl(addr1));
outl(addr2, inl(addr1));
reg = inl(PCI_MODE1_DATA_REG);
return inl(port);