Searched refs:SmmS3Cr4 (Results 1 – 3 of 3) sorted by relevance
34 UINT64 SmmS3Cr4; member
1081 DEBUG (( EFI_D_ERROR, "SMM S3 CR4 = %x\n", SmmS3ResumeState->SmmS3Cr4)); in S3RestoreConfig2()
778 SmmS3ResumeState->SmmS3Cr4 = gSmmCr4; in InitSmmS3ResumeState()