3 * Texas Instruments, <www.ti.com>
4 * Aneesh V <aneesh@ti.com>
6 * SPDX-License-Identifier: GPL-2.0+
11 #include <linux/types.h>
13 /* Register bit fields */
14 #define PL310_AUX_CTRL_ASSOCIATIVITY_MASK (1 << 16)
22 u32 pl310_tag_latency_ctrl;
23 u32 pl310_data_latency_ctrl;
25 u32 pl310_event_cnt_ctrl;
26 u32 pl310_event_cnt1_cfg;
27 u32 pl310_event_cnt0_cfg;
28 u32 pl310_event_cnt1_val;
29 u32 pl310_event_cnt0_val;
31 u32 pl310_masked_intr_stat;
32 u32 pl310_raw_intr_stat;
37 u32 pl310_inv_line_pa;
41 u32 pl310_clean_line_pa;
43 u32 pl310_clean_line_idx;
46 u32 pl310_clean_inv_line_pa;
48 u32 pl310_clean_inv_line_idx;
49 u32 pl310_clean_inv_way;
52 void pl310_inval_all(void);
53 void pl310_clean_inval_all(void);
54 void pl310_inval_range(u32 start, u32 end);
55 void pl310_clean_inval_range(u32 start, u32 end);