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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Library/DxeTimerLibEsal/
H A DDxeTimerLibEsal.c149 UINT64 BaseFrequence; local
156 BaseFrequence = PalRet.r9;
178 return BaseFrequence * (PalRet.r11 >> 32) / (UINT32)PalRet.r11;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Library/SecPeiDxeTimerLibCpu/
H A DIpfTimerLib.c150 UINT64 BaseFrequence; local
164 BaseFrequence = PalRet.r9;
171 return BaseFrequence * (PalRet.r11 >> 32) / (UINT32)PalRet.r11;
/vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/Library/SecPeiDxeTimerLibUefiCpu/
H A DIpfTimerLib.c150 UINT64 BaseFrequence; local
164 BaseFrequence = PalRet.r9;
171 return BaseFrequence * (PalRet.r11 >> 32) / (UINT32)PalRet.r11;

Completed in 386 milliseconds