Editing: vmcore.h

BATAL