res->start = (unsigned long)(signed) __raw_readl(ioaddr) << 16; res->end = (unsigned long)(signed) (__raw_readl(ioaddr + 4) << 16) - 1; 
/* * bracing ((signed) ...) are required for 64bit kernel because * we only want to sign extend the lower 16 bits of the register. * The upper 16-bits of range registers are hardcoded to 0xffff. */ res->start = (unsigned long)((signed) READ_U32(ioaddr) << 16); res->end = (unsigned long)((signed) (READ_U32(ioaddr + 4) << 16) - 1); 
ccio_init_resource(struct resource *res, char *name, unsigned long ioaddr){	int result;	res->parent = NULL;	res->flags = IORESOURCE_MEM;	res->start = (unsigned long)(signed) __raw_readl(ioaddr) << 16;	res->end = (unsigned long)(signed) (__raw_readl(ioaddr + 4) << 16) - 1;	res->name = name;	if (res->end + 1 == res->start)		return;	result = request_resource(&iomem_resource, res);	if (result < 0) {		printk(KERN_ERR "%s: failed to claim CCIO bus address space (%08lx,%08lx)\n", 		       __FILE__, res->start, res->end);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/86a61ee9c9f3d8b632d29e86ac6610c43ebbb4f0/ccio-dma.c/buggy/drivers/parisc/ccio-dma.c