Revision 7ba1e619 monitor.c

b/monitor.c
37 37
#include <dirent.h>
38 38
#include "qemu-timer.h"
39 39
#include "migration.h"
40
#include "kvm.h"
40 41

  
41 42
//#define DEBUG
42 43
//#define DEBUG_COMPLETION
......
1263 1264
#endif
1264 1265
}
1265 1266

  
1267
static void do_info_kvm(void)
1268
{
1269
#ifdef CONFIG_KVM
1270
    term_printf("kvm support: ");
1271
    if (kvm_enabled())
1272
	term_printf("enabled\n");
1273
    else
1274
	term_printf("disabled\n");
1275
#else
1276
    term_printf("kvm support: not compiled\n");
1277
#endif
1278
}
1279

  
1266 1280
#ifdef CONFIG_PROFILER
1267 1281

  
1268 1282
int64_t kqemu_time;
......
1497 1511
      "", "show dynamic compiler info", },
1498 1512
    { "kqemu", "", do_info_kqemu,
1499 1513
      "", "show kqemu information", },
1514
    { "kvm", "", do_info_kvm,
1515
      "", "show kvm information", },
1500 1516
    { "usb", "", usb_info,
1501 1517
      "", "show guest USB devices", },
1502 1518
    { "usbhost", "", usb_host_info,

Also available in: Unified diff