Searched refs:u64TscFrequency (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/
H A DDevEFI.cpp218 uint64_t u64TscFrequency; member in struct:DEVEFI
1153 case EFI_INFO_INDEX_TSC_FREQUENCY: return efiInfoNextByteU64(pThis, pThis->u64TscFrequency);
2247 pThis->u64TscFrequency = TMCpuTicksPerSecond(PDMDevHlpGetVM(pDevIns));
2248 pThis->u64CpuFrequency = pThis->u64TscFrequency;

Completed in 260 milliseconds