9 #include "jdb_module.h"
10 #include "jdb_screen.h"
11 #include "jdb_kobject.h"
12 #include "kernel_console.h"
15 #include "static_init.h"
18 class Jdb_vm : public Jdb_kobject_handler
26 : Jdb_kobject_handler(Vm::static_kobj_type)
28 Jdb_kobject::module()->register_handler(this);
33 Jdb_vm::show_kobject(Kobject_common *o, int lvl)
35 Kobject::dcast<Vm*>(o)->dump_machine_state();
47 Jdb_vm::kobject_type() const
49 return JDB_ANSI_COLOR(yellow) "Vm" JDB_ANSI_COLOR(default);
54 Jdb_vm::show_kobject_short(char *buf, int max, Kobject_common *o)
56 return Kobject::dcast<Vm*>(o)->show_short(buf, max);
59 static Jdb_vm jdb_vm INIT_PRIORITY(JDB_MODULE_INIT_PRIO);
63 filter_vm(Kobject_common const *o)
65 return Kobject::dcast<Vm const *>(o);
67 static Jdb_kobject_list::Mode INIT_PRIORITY(JDB_MODULE_INIT_PRIO) tnt("[Vms]", filter_vm);