ccio_init_resource(res, name, (unsigned long)&ioc->ioc_hpa->io_io_low); ccio_init_resource(res + 1, name, (unsigned long)&ioc->ioc_hpa->io_io_low_hv); 
ccio_init_resource(res, name, &ioc->ioc_regs->io_io_low); ccio_init_resource(res + 1, name, &ioc->ioc_regs->io_io_low_hv); 
static void __init ccio_init_resources(struct ioc *ioc){	struct resource *res = ioc->mmio_region;	char *name = kmalloc(14, GFP_KERNEL);	sprintf(name, "GSC Bus [%d/]", ioc->hw_path);	ccio_init_resource(res, name, (unsigned long)&ioc->ioc_hpa->io_io_low);	ccio_init_resource(res + 1, name,			(unsigned long)&ioc->ioc_hpa->io_io_low_hv);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/86a61ee9c9f3d8b632d29e86ac6610c43ebbb4f0/ccio-dma.c/buggy/drivers/parisc/ccio-dma.c