/arch/x86/coco/sev/

• ../
• Makefile
• core.c
• internal.h
• noinstr.c
• svsm.c
• vc-handle.c
• vc-shared.c