set_dabr
LV1_CALL(set_dabr, 2, 0, 96 )
int (*set_dabr)(unsigned long dabr,
if (ppc_md.set_dabr)
return ppc_md.set_dabr(dabr, dabrx);
set_dabr(brk);
.set_dabr = ps3_set_dabr,
ppc_md.set_dabr = pseries_set_xdabr;
ppc_md.set_dabr = pseries_set_dabr;