*fixed two more VMM bugs +some SMP locking