Searched refs:kvmppc_get_tbfreq (Results 1 – 7 of 7) sorted by relevance
22 uint32_t kvmppc_get_tbfreq(void);125 static inline uint32_t kvmppc_get_tbfreq(void) in kvmppc_get_tbfreq() function
1850 uint32_t kvmppc_get_tbfreq(void) in kvmppc_get_tbfreq() function
178 tb_freq = kvmppc_get_tbfreq(); in sam460ex_load_device_tree()
109 uint64_t tbfreq = kvm_enabled() ? kvmppc_get_tbfreq() : TBFREQ; in ppc_heathrow_init()
157 uint64_t tbfreq = kvm_enabled() ? kvmppc_get_tbfreq() : TBFREQ; in ppc_core99_init()
473 tb_freq = kvmppc_get_tbfreq(); in ppce500_load_device_tree()
690 uint32_t tbfreq = kvm_enabled() ? kvmppc_get_tbfreq() in spapr_dt_cpu()