writeb(val, (void *)(dev->base_addr + reg)); 
writeb(val, (void __iomem *)(dev->base_addr + reg)); 
static inline void write_register_byte(struct net_device *dev, u32 reg, u8 val){	writeb(val, (void *)(dev->base_addr + reg));	IPW_DEBUG_IO("w: 0x%08X =< %02X\n", reg, val);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2be041a79bbdbb3c830f4cc3bc3387ba6fff7566/ipw2100.c/clean/drivers/net/wireless/ipw2100.c