Searched refs:TscFrequency (Results 1 – 4 of 4) sorted by relevance
60 UINT64 *TscFrequency; in DxeTscTimerLibConstructor() local62 TscFrequency = NULL; in DxeTscTimerLibConstructor()66 Status = EfiGetSystemConfigurationTable (&gEfiTscFrequencyGuid, (VOID **) &TscFrequency); in DxeTscTimerLibConstructor()68 ASSERT (TscFrequency != NULL); in DxeTscTimerLibConstructor()69 mTscFrequency = *TscFrequency; in DxeTscTimerLibConstructor()77 Status = gBS->AllocatePool (EfiBootServicesData, sizeof (UINT64), (VOID **) &TscFrequency); in DxeTscTimerLibConstructor()80 *TscFrequency = InternalCalculateTscFrequency (); in DxeTscTimerLibConstructor()84 gBS->InstallConfigurationTable (&gEfiTscFrequencyGuid, TscFrequency); in DxeTscTimerLibConstructor()86 mTscFrequency = *TscFrequency; in DxeTscTimerLibConstructor()
48 UINT64 TscFrequency; in InternalGetTscFrequency() local56 TscFrequency = * (UINT64 *) DataInHob; in InternalGetTscFrequency()57 return TscFrequency; in InternalGetTscFrequency()64 TscFrequency = InternalCalculateTscFrequency (); in InternalGetTscFrequency()70 &TscFrequency, in InternalGetTscFrequency()74 return TscFrequency; in InternalGetTscFrequency()
56 UINT64 TscFrequency; in InternalCalculateTscFrequency() local84 TscFrequency = MultU64x32 ( in InternalCalculateTscFrequency()89 return TscFrequency; in InternalCalculateTscFrequency()
31 ## Include/Guid/TscFrequency.h