if (firmware_has_feature(FW_FEATURE_XDABR)) { /* We want to catch accesses from kernel and userspace */ return plpar_set_xdabr(dabr, H_DABRX_KERNEL | H_DABRX_USER); }  return plpar_set_dabr(dabr); 
return plpar_hcall_norets(H_SET_DABR, dabr); 
static int pseries_set_dabr(unsigned long dabr){	if (firmware_has_feature(FW_FEATURE_XDABR)) {		/* We want to catch accesses from kernel and userspace */		return plpar_set_xdabr(dabr, H_DABRX_KERNEL | H_DABRX_USER);	}	return plpar_set_dabr(dabr);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/76032de898f34db55b5048349db56557828a1390/setup.c/buggy/arch/powerpc/platforms/pseries/setup.c