Searched refs:lockTLBEntry (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dmachine_asm.S9 BEGIN_FUNC(lockTLBEntry)
11 END_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dmachine_asm.S13 BEGIN_FUNC(lockTLBEntry)
15 END_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dtlb.c11 void lockTLBEntry(vptr_t vaddr) function
18 void lockTLBEntry(vptr_t vaddr) function
/seL4-l4v-master/seL4/src/arch/arm/armv/armv6/
H A Dmachine_asm.S12 .global lockTLBEntry
14 BEGIN_FUNC(lockTLBEntry)
36 END_FUNC(lockTLBEntry)
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Ddc_20081211.c30 void lockTLBEntry(word_t vaddr);
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/
H A Dmachine.h277 void lockTLBEntry(vptr_t vaddr);
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/
H A Dmachine.h361 void lockTLBEntry(vptr_t vaddr);
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c594 lockTLBEntry(PPTR_BASE);
595 lockTLBEntry(PPTR_VECTOR_TABLE);
612 lockTLBEntry(PPTR_BASE);
613 lockTLBEntry(PPTR_VECTOR_TABLE);
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c543 lockTLBEntry(KERNEL_ELF_BASE);

Completed in 109 milliseconds