Cross Reference: /vbox/include/VBox/sup.h

Lines Matching refs:iCpuSet
272     int16_t                 iCpuSet;
526  * @param   iCpuSet     The CPU set index of the CPU in question.
528 DECLINLINE(uint64_t) SUPGetCpuHzFromGipBySetIndex(PSUPGLOBALINFOPAGE pGip, uint32_t iCpuSet)
539                 if (RT_LIKELY(iCpuSet < RT_ELEMENTS(pGip->aiCpuFromCpuSetIdx)))
541                     uint16_t iCpu = pGip->aiCpuFromCpuSetIdx[iCpuSet];
626  * @param   iCpuSet         The CPU set index of the CPU which TSC delta we want.
629 DECLINLINE(int64_t) SUPGetTscDeltaByCpuSetIndex(uint32_t iCpuSet)
634     if (RT_LIKELY(iCpuSet < RT_ELEMENTS(pGip->aiCpuFromCpuSetIdx)))
636         uint16_t iCpu = pGip->aiCpuFromCpuSetIdx[iCpuSet];
655  * @param   iCpuSet   The CPU set index of the CPU which TSC delta we check.
658 DECLINLINE(bool) SUPIsTscDeltaAvailableForCpuSetIndex(uint32_t iCpuSet)
663     if (RT_LIKELY(iCpuSet < RT_ELEMENTS(pGip->aiCpuFromCpuSetIdx)))
665         uint16_t iCpu = pGip->aiCpuFromCpuSetIdx[iCpuSet];
1838 SUPR0DECL(int) SUPR0TscDeltaMeasureBySetIndex(PSUPDRVSESSION pSession, uint32_t iCpuSet, uint32_t fFlags,