ia64_set_ibr 720 arch/ia64/kernel/perfmon.c ia64_set_ibr(i, ibrs[i]); ia64_set_ibr 3723 arch/ia64/kernel/perfmon.c ia64_set_ibr(i, 0UL); ia64_set_ibr 3777 arch/ia64/kernel/perfmon.c ia64_set_ibr(rnum, dbreg.val);