ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-27 06:39:22 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-hw/include/spec/x86_64/cpu
History
Benjamin Lamowski 0e49149a46 base-hw: rename Vm_state to Vcpu_state 
Make naming across architectures coherent by renaming Vm_state to
Vcpu_state, to reflect that it contains the state of a Vcpu and not that
of an entire VM.

Ref #4968
2023-10-04 13:22:07 +02:00
..
vcpu_state_virtualization.h
base-hw: rename Vm_state to Vcpu_state
2023-10-04 13:22:07 +02:00