Searched refs:time_base_frequency (Results 1 – 11 of 11) sorted by relevance
42 sTickRate = ka->arch_args.time_base_frequency; in arch_init_timer()
31 / args->arch_args.time_base_frequency); in arch_rtc_init()
27 uint64 time_base_frequency; member
22 uint64 time_base_frequency; member
21 uint64 time_base_frequency; member
74 gKernelArgs.arch_args.time_base_frequency = clockFrequency; in boot_arch_cpu_init()
89 gKernelArgs.arch_args.time_base_frequency = timeBaseFrequency; in boot_arch_cpu_init()
99 gKernelArgs.arch_args.time_base_frequency = timeBaseFrequency; in enumerate_cpus()
183 / args->arch_args.time_base_frequency); in arch_rtc_init()
390 kernelArgs->arch_args.time_base_frequency = MFP_SYSTEM_TIME_RATE; in InitRTC()