43 get_cache_dic(uint64_t ctr)  in get_cache_dic()  argument
49 	return (CTR_DIC_VAL(ctr) != 0);  in get_cache_dic()
53 get_cache_idc(uint64_t ctr)  in get_cache_idc()  argument
59 	return (CTR_IDC_VAL(ctr) != 0);  in get_cache_idc()
63 get_dcache_line_size(uint64_t ctr)  in get_dcache_line_size()  argument
71 	dcl_size = CTR_DLINE_SIZE(ctr);  in get_dcache_line_size()
80 	uint64_t cl_size, ctr;  in cpu_flush_dcache()  local
84 	ctr = READ_SPECIALREG(ctr_el0);  in cpu_flush_dcache()
86 	if (get_cache_idc(ctr)) {  in cpu_flush_dcache()
89 		cl_size = get_dcache_line_size(ctr);  in cpu_flush_dcache()
108 	uint64_t ctr;  in cpu_inval_icache()  local
111 	ctr = READ_SPECIALREG(ctr_el0);  in cpu_inval_icache()
113 	if (get_cache_dic(ctr)) {  in cpu_inval_icache()