| 294 | } |
| 295 | |
| 296 | static u_int |
| 297 | db_branch_taken_read_int(void *cookie __unused, vm_offset_t offset, u_int *val) |
| 298 | { |
| 299 | u_int ret; |
| 300 | |
| 301 | db_read_bytes(offset, 4, (char *)&ret); |
| 302 | *val = ret; |
| 303 | |
| 304 | return (0); |
| 305 | } |
| 306 | |
| 307 | static u_int |
| 308 | db_branch_taken_fetch_reg(void *cookie __unused, int reg) |
nothing calls this directly
no test coverage detected