portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: remove duplicated instructions

Browse source 
Signed-off-by: Luca (Wei) Chen <wei@cvluca.com>
This commit is contained in:
Luca (Wei) Chen 2021-11-16 10:55:42 +08:00 committed by Gerwin Klein
parent 4480ac9648
commit 7c55ab77f3
1 changed files with 3 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
include/arch/arm/arch/32/mode/machine.h
View file

@ -351,10 +351,8 @@ static inline void cleanByVA(vptr_t vaddr, paddr_t paddr)
asm volatile("ldr r0, [sp]" : : : "r0");
/* Erratum 586320 -- clean twice with interrupts disabled. */
asm volatile("mcr p15, 0, %0, c7, c10, 1" : : "r"(vaddr));
asm volatile("mcr p15, 0, %0, c7, c10, 1" : : "r"(vaddr));
#else
asm volatile("mcr p15, 0, %0, c7, c10, 1" : : "r"(vaddr));
#endif
asm volatile("mcr p15, 0, %0, c7, c10, 1" : : "r"(vaddr));
/* Erratum 586323 - end with DMB to ensure the write goes out. */
dmb();
}
@ -386,10 +384,8 @@ static inline void invalidateByVA(vptr_t vaddr, paddr_t paddr)
#ifdef CONFIG_ARM_CORTEX_A8
/* Erratum 586324 -- perform a dummy cached load before flushing. */
asm volatile("ldr r0, [sp]" : : : "r0");
asm volatile("mcr p15, 0, %0, c7, c6, 1" : : "r"(vaddr));
#else
asm volatile("mcr p15, 0, %0, c7, c6, 1" : : "r"(vaddr));
#endif
asm volatile("mcr p15, 0, %0, c7, c6, 1" : : "r"(vaddr));
dmb();
}
@ -424,10 +420,8 @@ static inline void cleanInvalByVA(vptr_t vaddr, paddr_t paddr)
asm volatile("ldr r0, [sp]" : : : "r0");
/* Erratum 586320 -- clean twice with interrupts disabled. */
asm volatile("mcr p15, 0, %0, c7, c14, 1" : : "r"(vaddr));
asm volatile("mcr p15, 0, %0, c7, c14, 1" : : "r"(vaddr));
#else
asm volatile("mcr p15, 0, %0, c7, c14, 1" : : "r"(vaddr));
#endif
asm volatile("mcr p15, 0, %0, c7, c14, 1" : : "r"(vaddr));
dsb();
}