static int __init cmd_blockdev_init(void) { return vmm_cmdmgr_register_cmd(&cmd_blockdev); }
static int __init cmd_rbd_init(void) { return vmm_cmdmgr_register_cmd(&cmd_rbd); }
static int __init cmd_vfs_init(void) { return vmm_cmdmgr_register_cmd(&cmd_vfs); }
static int __init cmd_module_init(void) { return vmm_cmdmgr_register_cmd(&cmd_module); }
static int __init cmd_heap_init(void) { return vmm_cmdmgr_register_cmd(&cmd_heap); }
static int __init cmd_buddy_init(void) { return vmm_cmdmgr_register_cmd(&cmd_buddy); }
static int cmd_ram_init(void) { return vmm_cmdmgr_register_cmd(&cmd_ram); }
static int __init cmd_ipconfig_init(void) { return vmm_cmdmgr_register_cmd(&cmd_ipconfig); }
static int __init cmd_ping_init(void) { return vmm_cmdmgr_register_cmd(&cmd_ping); }
static int __init cmd_flash_init(void) { return vmm_cmdmgr_register_cmd(&cmd_flash); }
static int __init cmd_memory_init(void) { return vmm_cmdmgr_register_cmd(&cmd_memory); }
static int cmd_vcpu_init(void) { return vmm_cmdmgr_register_cmd(&cmd_vcpu); }
static int __init cmd_wallclock_init(void) { return vmm_cmdmgr_register_cmd(&cmd_wallclock); }
static int __init cmd_stdio_init(void) { return vmm_cmdmgr_register_cmd(&cmd_stdio); }
static int __init cmd_version_init(void) { return vmm_cmdmgr_register_cmd(&cmd_version); }