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()79 return tpm_read_counter(); in tpm_read_sched_clock()88 prev = tpm_read_counter(); in tpm_set_next_event()91 now = tpm_read_counter(); in tpm_set_next_event()98 while (now == tpm_read_counter()) in tpm_set_next_event()