p = _ALIGN(p, sz >= 8 ? 8 : 4); 
if (initial_boot_params->version < 0x10) p = _ALIGN(p, sz >= 8 ? 8 : 4); 
static void* __init get_flat_dt_prop(unsigned long node, const char *name,				     unsigned long *size){	unsigned long p = node;	do {		u32 tag = *((u32 *)p);		u32 sz, noff;		const char *nstr;		p += 4;		if (tag != OF_DT_PROP)			return NULL;		sz = *((u32 *)p);		noff = *((u32 *)(p + 4));		p += 8;		p = _ALIGN(p, sz >= 8 ? 8 : 4);		nstr = find_flat_dt_string(noff);		if (nstr == NULL) {			printk(KERN_WARNING "Can't find property index name !\n");			return NULL;		}		if (strcmp(name, nstr) == 0) {			if (size)				*size = sz;			return (void *)p;		}		p += sz;		p = _ALIGN(p, 4);	} while(1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/34153fa3af45d84f3221d9b67ba2ab7e8a220d28/prom.c/buggy/arch/ppc64/kernel/prom.c