Searched refs:vmm_dcmd (Results 1 – 1 of 1) sorted by relevance
113 vmm_dcmd(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv) in vmm_dcmd() function190 "print virtual machine information", vmm_dcmd, vmm_help },