Searched refs:Edk2ImageHeader (Results 1 – 2 of 2) sorted by relevance
148 QUARK_EDKII_STAGE1_HEADER *Edk2ImageHeader; in PlatformIsBootWithRecoveryStage1() local150 Edk2ImageHeader = (QUARK_EDKII_STAGE1_HEADER *) PcdGet32 (PcdEsramStage1Base); in PlatformIsBootWithRecoveryStage1()151 switch ((UINT8)Edk2ImageHeader->ImageIndex & QUARK_STAGE1_IMAGE_TYPE_MASK) { in PlatformIsBootWithRecoveryStage1()
684 QUARK_EDKII_STAGE1_HEADER *Edk2ImageHeader; in EarlyPlatformInfoMessages() local689 Edk2ImageHeader = (QUARK_EDKII_STAGE1_HEADER *) PcdGet32 (PcdEsramStage1Base); in EarlyPlatformInfoMessages()692 switch ((UINT8)Edk2ImageHeader->ImageIndex & QUARK_STAGE1_IMAGE_TYPE_MASK) { in EarlyPlatformInfoMessages()694 …* Quark EDKII Stage 1 Boot Image %d ****\n", ((UINT8)Edk2ImageHeader->ImageIndex &… in EarlyPlatformInfoMessages()698 …* Quark EDKII Stage 1 Recovery Image %d ****\n", ((UINT8)Edk2ImageHeader->ImageIndex &… in EarlyPlatformInfoMessages()