Update vmm.h