Searched refs:kvmppc_get_tbfreq (Results 1 – 7 of 7) sorted by relevance
22 uint32_t kvmppc_get_tbfreq(void);127 static inline uint32_t kvmppc_get_tbfreq(void) in kvmppc_get_tbfreq() function
1856 uint32_t kvmppc_get_tbfreq(void) in kvmppc_get_tbfreq() function
110 uint64_t tbfreq = kvm_enabled() ? kvmppc_get_tbfreq() : TBFREQ; in ppc_heathrow_init()
178 tb_freq = kvmppc_get_tbfreq(); in sam460ex_load_device_tree()
158 uint64_t tbfreq = kvm_enabled() ? kvmppc_get_tbfreq() : TBFREQ; in ppc_core99_init()
474 tb_freq = kvmppc_get_tbfreq(); in ppce500_load_device_tree()
697 uint32_t tbfreq = kvm_enabled() ? kvmppc_get_tbfreq() in spapr_dt_cpu()