ktr_info
ktr_begin_write_entry(struct ktr_info *info, const char *file, int line)
entry->ktr_info = info;
ktr_finish_write_entry(struct ktr_info *info, struct ktr_entry *entry)
if (kcpu->ktr_buf[tstate[i].cur].ktr_info == NULL)
if (kp->ktr_info == NULL)
db_printf("%s\t", kp->ktr_info->kf_name);
struct ktr_entry * ktr_begin_write_entry(struct ktr_info *,
int ktr_finish_write_entry(struct ktr_info *, struct ktr_entry *);
static struct ktr_info ktr_info_ ## master ## _ ## name = { \
struct ktr_info *ktr_info;
static struct ktr_info *kvm_ktrinfo(void *, struct save_ctx *);
struct ktr_info *info = NULL;
info = kvm_ktrinfo(entry->ktr_info, &infoctx);
info = kvm_ktrinfo(entry->ktr_info, &infoctx);
struct ktr_info *ki;
if ((ki = kvm_ktrinfo(entry->ktr_info, &infoctx))) {
struct ktr_info *
struct ktr_info *ki = (void *)ctx->save_buf;