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 continue to be a number of open questions throughout the series, resolving of which is one of the main goals of this v2 posting.
1: domain: GADDR based shared guest area registration alternative - cleanup 3: domain: update GADDR based runstate guest area 4: x86: update GADDR based secondary time area 5: x86/mem-sharing: copy GADDR based shared guest areas 6: domain: map/unmap GADDR based shared guest areas 7: domain: introduce GADDR based runstate area registration alternative 8: x86: introduce GADDR based secondary time area registration alternative 9: common: convert vCPU info area registration Jan
