if (!(systemcfg->platform & PLATFORM_PSERIES)) 
if (!(systemcfg->platform & (PLATFORM_PSERIES | PLATFORM_BPA))) 
static int __init proc_ppc64_create(void){	struct proc_dir_entry *root;	root = proc_mkdir("ppc64", NULL);	if (!root)		return 1;	if (!(systemcfg->platform & PLATFORM_PSERIES))		return 0;	if (!proc_mkdir("rtas", root))		return 1;	if (!proc_symlink("rtas", NULL, "ppc64/rtas"))		return 1;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fef1c772fa154c16e0a54577e9ecb5480f7b937e/proc_ppc64.c/buggy/arch/ppc64/kernel/proc_ppc64.c