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

/vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/8254TimerDxe/
H A DTimer.h59 TimerDriverInitialize (
H A DTimer.c342 TimerDriverInitialize ( function
/vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/
H A DHpetTimer.c749 TimerDriverInitialize ( function

Completed in 56 milliseconds