Home
last modified time | relevance | path

Searched refs:tb_ticks_per_sec (Results 1 – 5 of 5) sorted by relevance

/Linux-v4.19/arch/powerpc/include/asm/
Dvdso_datapage.h67 __u64 tb_ticks_per_sec; /* Timebase tics / sec 0x38 */ member
100 __u64 tb_ticks_per_sec; /* Timebase tics / sec 0x38 */ member
Dtime.h26 extern unsigned long tb_ticks_per_sec;
/Linux-v4.19/arch/powerpc/kernel/
Dtime.c136 unsigned long tb_ticks_per_sec; variable
137 EXPORT_SYMBOL(tb_ticks_per_sec); /* for cputime_t conversions */
170 div128_by_32(1000000, 0, tb_ticks_per_sec, &res); in calc_cputime_factors()
951 if (clocksource_register_hz(clock, tb_ticks_per_sec)) { in clocksource_init()
1087 tb_ticks_per_sec = ppc_tb_freq; in time_init()
1101 div128_by_32(1000000000, 0, tb_ticks_per_sec, &res); in time_init()
1119 vdso_data->tb_ticks_per_sec = tb_ticks_per_sec; in time_init()
Dasm-offsets.c372 OFFSET(CFG_TB_TICKS_PER_SEC, vdso_data, tb_ticks_per_sec); in main()
/Linux-v4.19/arch/powerpc/kvm/
Dbook3s_hv.c2164 / tb_ticks_per_sec; in kvmppc_set_timer()