Searched refs:EFI_CPU_INIT_TYPE (Results 1 - 4 of 4) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DCpu.h43 } EFI_CPU_INIT_TYPE; typedef in typeref:enum:__anon12034
173 IN EFI_CPU_INIT_TYPE InitType
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Protocol/
H A DCpu.h45 } EFI_CPU_INIT_TYPE; typedef in typeref:enum:__anon15602
175 IN EFI_CPU_INIT_TYPE InitType
/vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuDxe/
H A DCpuDxe.h133 IN EFI_CPU_INIT_TYPE InitType
H A DCpuDxe.c478 IN EFI_CPU_INIT_TYPE InitType

Completed in 681 milliseconds