Searched refs:read_ctr (Results 1 – 4 of 4) sorted by relevance
18 uint32_t value = read_ctr(); in dcache_get_line_size()
17 read_ctr \tmp24 read_ctr \tmp
921 read_ctr r3
396 #define read_ctr() read_ctr_el0() macro
Completed in 6 milliseconds