KVME_TYPE_MGTDEVICE  714 vm_dump.c      # ifndef KVME_TYPE_MGTDEVICE
KVME_TYPE_MGTDEVICE  782 vm_dump.c      		case KVME_TYPE_MGTDEVICE: