1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2005-2017 Andes Technology Corporation
4 #include <linux/spinlock_types.h>
6 #include <linux/sched.h>
8 #include <nds32_intrinsic.h>
10 unsigned int cpu_last_cid
= { TLB_MISC_mskCID
+ (2 << TLB_MISC_offCID
) };
12 DEFINE_SPINLOCK(cid_lock
);
14 void local_flush_tlb_range(struct vm_area_struct
*vma
,
15 unsigned long start
, unsigned long end
)
17 unsigned long flags
, ocid
, ncid
;
19 if ((end
- start
) > 0x400000) {
20 __nds32__tlbop_flua();
25 spin_lock_irqsave(&cid_lock
, flags
);
26 ocid
= __nds32__mfsr(NDS32_SR_TLB_MISC
);
27 ncid
= (ocid
& ~TLB_MISC_mskCID
) | vma
->vm_mm
->context
.id
;
28 __nds32__mtsr_dsb(ncid
, NDS32_SR_TLB_MISC
);
30 __nds32__tlbop_inv(start
);
34 __nds32__mtsr_dsb(ocid
, NDS32_SR_TLB_MISC
);
35 spin_unlock_irqrestore(&cid_lock
, flags
);
38 void local_flush_tlb_page(struct vm_area_struct
*vma
, unsigned long addr
)
40 unsigned long flags
, ocid
, ncid
;
42 spin_lock_irqsave(&cid_lock
, flags
);
43 ocid
= __nds32__mfsr(NDS32_SR_TLB_MISC
);
44 ncid
= (ocid
& ~TLB_MISC_mskCID
) | vma
->vm_mm
->context
.id
;
45 __nds32__mtsr_dsb(ncid
, NDS32_SR_TLB_MISC
);
46 __nds32__tlbop_inv(addr
);
48 __nds32__mtsr_dsb(ocid
, NDS32_SR_TLB_MISC
);
49 spin_unlock_irqrestore(&cid_lock
, flags
);