linux/drivers/virt/coco/sevguest
..
Kconfig
Makefile
sevguest.c
sevguest.h