Home
last modified time | relevance | path

Searched refs:tlbLockCount (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/armv/armv7-a/
A Dtlb.c20 int n = tlbLockCount; in lockTLBEntry()
23 tlbLockCount ++; in lockTLBEntry()
/seL4-master/src/model/
A Dstatedata.c97 word_t tlbLockCount = 0; variable
/seL4-master/include/model/
A Dstatedata.h114 extern word_t tlbLockCount VISIBLE;

Completed in 5 milliseconds