Searched refs:read_tfmr_t0 (Results 1 – 6 of 6) sorted by relevance
1079 static uint64_t read_tfmr_t0(void) in read_tfmr_t0() function1108 uint64_t tfmr_t0 = read_tfmr_t0(); in validate_latched_errors()
1079 static uint64_t read_tfmr_t0(void)1108 uint64_t tfmr_t0 = read_tfmr_t0();
1231 static uint64_t read_tfmr_t0(void) in read_tfmr_t0() function1260 uint64_t tfmr_t0 = read_tfmr_t0(); in validate_latched_errors()