ioread32
val = ioread32(addr);
*v = ioread32(&map[offset / sizeof(*map)]);
ioread32(ppgtt->pd_addr + pde - 1);
return vm->pte_decode(ioread32(pte), is_present, is_local);
val = ioread32(addr);
val = ioread32(vaddr + n);
val = ioread32(&map[offset / sizeof(*map)]);
return ioread32(rom->oprom + offset);
#define readl(p) ioread32(p)
uint32_t: ioread32(addr), \