Since it was indicated that introducing specific new vCPU ops may be beneficial independent of the introduction of a fully physical- address-based ABI flavor, here we go. There are a number of open questions throughout the series, resolving of which is the main goal of this early posting.
01: unify update_runstate_area() 02: x86: split populating of struct vcpu_time_info into a separate function 03: domain: GADDR based shared guest area registration alternative - cleanup 04: domain: update GADDR based runstate guest area 05: x86: update GADDR based secondary time area 06: x86/mem-sharing: copy GADDR based shared guest areas 07: domain: map/unmap GADDR based shared guest areas 08: domain: introduce GADDR based runstate area registration alternative 09: x86: introduce GADDR based secondary time area registration alternative 10: common: convert vCPU info area registration These go on top of the previously posted small bug fixes "common: map_vcpu_info() wants to unshare the underlying page" and "x86: also zap secondary time area handles during soft reset". Jan
