Home
last modified time | relevance | path

Searched refs:FPGA_DEFAULT_TIMER_FREQUENCY (Results 1 – 2 of 2) sorted by relevance

/external/arm-trusted-firmware/plat/arm/board/arm_fpga/
Dfpga_bl31_setup.c128 return FPGA_DEFAULT_TIMER_FREQUENCY; in plat_get_syscnt_freq2()
132 FPGA_DEFAULT_TIMER_FREQUENCY); in plat_get_syscnt_freq2()
Dfpga_def.h37 #define FPGA_DEFAULT_TIMER_FREQUENCY 10000000 macro