Benjamin Lamowski daafe3f4e2 base: rework vmm library API ... The new API emphasizes control over the vCPU data by granting access through the Vcpu::with_state() method, which makes sure that the vCPU is stopped, invokes the supplied function with a reference to the VM state and resumes the vCPU if the function returns true. The old Vcpu::run(), Vcpu::pause() and Vcpu::state() methods are removed in favor of the new API. Execution of the vCPU is now interrupted by sending a native Genode Signal to its Vcpu_handler, which will run the VMM's exit handling method. When this method retrieves the vCPU state by calling Vcpu::with_state(), the outside interruption is detected and on x86 a recall exit is injected into the state to signal the vCPU interruption / pause request to the VMM's vCPU handler. Ref #4968		2023-10-04 13:22:03 +02:00
..
connection.h	base: rework vmm library API	2023-10-04 13:22:03 +02:00
handler.h	base: make Entrypoint available in Vcpu_handler_base	2023-05-30 12:03:33 +02:00
vm_session.h	Remove format strings from connection types	2023-03-13 14:32:37 +01:00