*val = readb((void *)(dev->base_addr + reg));
*val = readb((void __iomem *)(dev->base_addr + reg));
static inline void read_register_byte(struct net_device *dev, u32 reg, u8 *val){	*val = readb((void *)(dev->base_addr + reg));	IPW_DEBUG_IO("r: 0x%08X => %02X\n", reg, *val);}