sev-dev.h revision 38103671
1