mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-24 21:09:47 +00:00
ea9093c83b
The methods to read and write state to the vCPU were named from the viewpoint of the `Vcpu_state` data structure that was being exchanged with the VMM, i.e. `read_vcpu_state()` was reading the data structure (and writing it into the vCPU) wheras `write_vcpu_state()` was writing the vCPU's state into `Vcpu_state`. This is confusing from a more generic understanding of a "vCPU state". Rename the state manipulation methods into `load()` and `store()`, where `load()` loads the supplied `Vcpu_state` into the vCPU and `store()` stores the vCPU's state in the supplied `Vcpu_state`. Issue #5483