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)));}