Searched refs:db_branch_taken_fetch_reg (Results 1 - 1 of 1) sorted by last modified time
| /freebsd-11-stable/sys/arm/arm/ | ||
| H A D | db_interface.c | 311 db_branch_taken_fetch_reg(void *cookie __unused, int reg) function 324 db_branch_taken_fetch_reg, db_branch_taken_read_int); |
Completed in 63 milliseconds