soundness improvements around hypervisor-shared memory#451

Merged

joergroedel merged 9 commits intococonut-svsm:mainfrom Freax13:more-zerocopy

Oct 2, 2024

+301-391

Commits on Sep 18, 2024

Commits on Sep 20, 2024

ghcb: make all accesses atomic
Freax13
committed