Searching in vmkit/mmtk