return ((char *)initial_boot_params) + initial_boot_params->off_dt_strings + offset; 
return ((char *)initial_boot_params) + initial_boot_params->off_dt_strings + offset; 
static inline char *find_flat_dt_string(u32 offset){	return ((char *)initial_boot_params) + initial_boot_params->off_dt_strings		+ offset;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/34153fa3af45d84f3221d9b67ba2ab7e8a220d28/prom.c/clean/arch/ppc64/kernel/prom.c