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);