Hi again.
Several more questions.
If I, for instance, want to have a functionality, similar to save/restore of virtual machines. For saving a virtual machine I can initiate a trap into VMM and use registers from UTCB.
For VM restoring, can I fill registers in handle_cpu_init? Is that enough? What should I do with mappings (NPT in particular caused me questions), devices? What is the cpu state in receive function of vbios_multiboot? Is it a beginning state of VM, when the Munech is uploaded?