Update vmm.c