Lines Matching refs:Platform
20 // Platform ids are defined in ArmVExpressInternal.h for
33 Get information about the VExpress platform the firmware is running on.
35 @param[out] Platform Address where the pointer to the platform information
40 @retval EFI_SUCCESS The platform information was returned.
41 @retval EFI_NOT_FOUND The platform was not recognised.
46 OUT CONST ARM_VEXPRESS_PLATFORM** Platform
54 ASSERT (Platform != NULL);
58 *Platform = NULL;
65 Status = ArmVExpressGetPlatformFromId (ARM_FVP_VEXPRESS_A9x4, Platform);
69 Status = ArmVExpressGetPlatformFromId (ARM_FVP_VEXPRESS_A15x1, Platform);
71 Status = ArmVExpressGetPlatformFromId (ARM_FVP_VEXPRESS_A15x2, Platform);
73 Status = ArmVExpressGetPlatformFromId (ARM_FVP_VEXPRESS_A15x4, Platform);
79 DEBUG ((EFI_D_ERROR, "Unsupported platform (SysId:0x%X, CpuType:0x%X)\n", SysId, CpuType));
