Files
system76-edk2/UefiCpuPkg/PiSmmCpuDxeSmm/X64