set_controlled_dabr(dabr.address | (dabr.enabled & 7)); 
set_dabr(dabr.address | (dabr.enabled & 7)); 
static void insert_cpu_bpts(void){	if (dabr.enabled)		set_controlled_dabr(dabr.address | (dabr.enabled & 7));	if (iabr && cpu_has_feature(CPU_FTR_IABR))		set_iabr(iabr->address			 | (iabr->enabled & (BP_IABR|BP_IABR_TE)));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fd9648dff6f9797ecc509bcd181706a274dc074d/xmon.c/clean/arch/ppc64/xmon/xmon.c