Searched refs:db_branch_taken_read_int (Results 1 – 1 of 1) sorted by relevance
291 db_branch_taken_read_int(void *cookie __unused, vm_offset_t offset, u_int *val) in db_branch_taken_read_int() function315 db_branch_taken_fetch_reg, db_branch_taken_read_int); in branch_taken()