c14e411458
sev_config currently has debug, ghcbs_initialized, and use_cas fields.
However, __reserved count has not been updated. Fix this.
Fixes:
|
||
---|---|---|
.. | ||
core.c | ||
Makefile | ||
shared.c |
c14e411458
sev_config currently has debug, ghcbs_initialized, and use_cas fields.
However, __reserved count has not been updated. Fix this.
Fixes:
|
||
---|---|---|
.. | ||
core.c | ||
Makefile | ||
shared.c |