/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/Include/Protocol/
../
SmMonitorInit.h
SmmCpuService.h