2 /* $NetBSD: db_interface.c,v 1.20 2002/05/13 20:30:09 matt Exp $ */
3 /* $OpenBSD: db_interface.c,v 1.2 1996/12/28 06:21:50 rahnds Exp $ */
15 #include <machine/kdb.h>
16 #include <machine/md_var.h>
22 #include <ddb/db_sym.h>
23 #include <ddb/db_command.h>
24 #include <ddb/db_access.h>
25 #include <ddb/db_output.h>
27 #include <dev/ofw/openfirm.h>
30 db_read_bytes(vm_offset_t addr, size_t size, char *data)
37 prev_jb = kdb_jmpbuf(jb);
43 *((uint64_t*)data) = *((uint64_t*)src);
45 *((int *)data) = *((int *)src);
47 *((short *)data) = *((short *)src);
52 (void)kdb_jmpbuf(prev_jb);
57 db_write_bytes(vm_offset_t addr, size_t size, char *data)
65 prev_jb = kdb_jmpbuf(jb);
72 *((uint64_t*)dst) = *((uint64_t*)data);
74 *((int*)dst) = *((int*)data);
77 *((short*)dst) = *((short*)data);
81 kdb_cpu_sync_icache((void *)addr, size);
83 (void)kdb_jmpbuf(prev_jb);
88 db_show_mdpcpu(struct pcpu *pc)
91 db_printf("PPC: hwref = %#zx\n", pc->pc_hwref);
92 db_printf("PPC: ipimask = %#x\n", pc->pc_ipimask);
93 db_printf("PPC: flags = %#x\n", pc->pc_flags);