Как сохраняет и восстанавливает ли виртуальная машина Dalvik свои регистры между вызовами методов?

Семантически виртуальная машина Dalvik имеет новый набор регистров для каждого метода и не имеет инструкций для доступа к стеку вызовов. Но с точки зрения его реализации регистры должны как-то сохраняться при вызовах методов и восстанавливаться при возвратах методов. Как это делает (реализация Google) Dalvik?