# Crimed from John Baldwin
define ktr
	set $max_ids = ktr_entries - 1
        set $idx = 0
        while ($idx != $max_ids)
                set $kent = &ktr_buf[$idx]
                set $time = $kent->ktr_timestamp
                set $desc = $kent->ktr_desc
                printf "%3d 0x%llx CPU %d: ", $idx, $time, $kent->ktr_cpu
                printf "%s\n -- %p %p %p %p %p %p\n", $desc, $kent->ktr_parms[0], $kent->ktr_parms[1], $kent->ktr_parms[2], $kent->ktr_parms[3], $kent->ktr_parms[4], $kent->ktr_parms[5]
                set $idx = $idx + 1
        end
end