/roms/edk2/OvmfPkg/AmdSevDxe/

• ../
• AmdSevDxe.c
• AmdSevDxe.inf