* Read bytes from kernel address space for debugger. */
| 46 | * Read bytes from kernel address space for debugger. |
| 47 | */ |
| 48 | int |
| 49 | db_read_bytes(vm_offset_t addr, size_t size, char *data) |
| 50 | { |
| 51 | jmp_buf jb; |
| 52 | void *prev_jb; |
| 53 | char *src; |
| 54 | int ret; |
| 55 | |
| 56 | prev_jb = kdb_jmpbuf(jb); |
| 57 | ret = setjmp(jb); |
| 58 | if (ret == 0) { |
| 59 | src = (char *)addr; |
| 60 | while (size-- > 0) |
| 61 | *data++ = *src++; |
| 62 | } |
| 63 | (void)kdb_jmpbuf(prev_jb); |
| 64 | return (ret); |
| 65 | } |
| 66 | |
| 67 | /* |
| 68 | * Write bytes to kernel address space for debugger. |
nothing calls this directly
no test coverage detected