db_read_ptr
void *db_read_ptr(const char *);
return db_read_ptr("alldevs");
addr = (db_expr_t)(uintptr_t)db_read_ptr("kernel_map");
evp = (struct evcnt *)db_read_ptr("allevents");
return db_read_ptr("alllwp");
return db_read_ptr("allproc");
mbp = (struct kern_msgbuf *)db_read_ptr("msgbufp");