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() function 74 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()