Searched refs:tpm_read_counter (Results 1 – 1 of 1) sorted by relevance
64 static inline unsigned long tpm_read_counter(void) in tpm_read_counter() function74 return tpm_read_counter(); in tpm_read_current_timer()80 return tpm_read_counter(); in tpm_read_sched_clock()88 next = tpm_read_counter(); in tpm_set_next_event()91 now = tpm_read_counter(); in tpm_set_next_event()