/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuDxe/

• ../
• CpuDxe.c
• CpuDxe.h
• CpuDxe.inf
• CpuGdt.c
• Ia32
• X64