((void (*)(struct prom_args *))entry)(args); 
return ((int (*)(struct prom_args *))entry)(args); 
static inline void enter_prom(struct prom_args *args, unsigned long entry){	((void (*)(struct prom_args *))entry)(args);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c49888203d7a316cb947bb8a1cf2ae191f28bcd3/prom_init.c/buggy/arch/powerpc/kernel/prom_init.c