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)
15 #define L2X0_DYNAMIC_CLK_GATING_EN (1 << 1)
16 #define L2X0_STNDBY_MODE_EN (1 << 0)
17 #define L2X0_CTRL_EN 1
25 u32 pl310_tag_latency_ctrl;
26 u32 pl310_data_latency_ctrl;
28 u32 pl310_event_cnt_ctrl;
29 u32 pl310_event_cnt1_cfg;
30 u32 pl310_event_cnt0_cfg;
31 u32 pl310_event_cnt1_val;
32 u32 pl310_event_cnt0_val;
34 u32 pl310_masked_intr_stat;
35 u32 pl310_raw_intr_stat;
40 u32 pl310_inv_line_pa;
44 u32 pl310_clean_line_pa;
46 u32 pl310_clean_line_idx;
49 u32 pl310_clean_inv_line_pa;
51 u32 pl310_clean_inv_line_idx;
52 u32 pl310_clean_inv_way;
54 u32 pl310_lockdown_dbase;
55 u32 pl310_lockdown_ibase;
57 u32 pl310_addr_filter_start;
58 u32 pl310_addr_filter_end;
60 u32 pl310_test_operation;
68 u32 pl310_prefetch_ctrl;
73 void pl310_inval_all(void);
74 void pl310_clean_inval_all(void);
75 void pl310_inval_range(u32 start, u32 end);
76 void pl310_clean_inval_range(u32 start, u32 end);