Searched refs:EFI_MP_SERVICES_SWITCH_BSP (Results 1 – 1 of 1) sorted by relevance
546 (EFIAPI *EFI_MP_SERVICES_SWITCH_BSP)( typedef667 EFI_MP_SERVICES_SWITCH_BSP SwitchBSP;