readl(socket->base + reg); /* avoid problems with PCI write posting */ 
static inline void cb_writel(struct yenta_socket *socket, unsigned reg, u32 val){	debug("%p %04x %08x\n", socket, reg, val);	writel(val, socket->base + reg);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8751e4c0bd32ecb76434240a56a087fa223280c/yenta_socket.c/buggy/drivers/pcmcia/yenta_socket.c