Searched refs:LOC (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/isabelle/Admin/
H A Dcheck_ml_headers22 for LOC in $(find "$ISABELLE_SRC" -name "*.ML")
24 TITLE="$(head -n 1 "$LOC" | grep -Po '(?<=Title:)\s*\S+.ML' | grep -Po '\S+.ML')"
25 FILELOC="${LOC:${#ISABELLE_SRC}}"
32 echo "Inconsistency in $LOC: $TITLE"
34 echo "$LOC"
/seL4-l4v-master/l4v/isabelle/Admin/
H A Dcheck_ml_headers22 for LOC in $(find "$ISABELLE_SRC" -name "*.ML")
24 TITLE="$(head -n 1 "$LOC" | grep -Po '(?<=Title:)\s*\S+.ML' | grep -Po '\S+.ML')"
25 FILELOC="${LOC:${#ISABELLE_SRC}}"
32 echo "Inconsistency in $LOC: $TITLE"
34 echo "$LOC"
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dcache.c27 #define LOC(x) (((x) >> 24) & MASK(3)) macro
96 int loc = LOC(clid);
/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dcache.c28 #define LOC(x) (((x) >> 24) & MASK(3)) macro
113 int loc = LOC(clid);
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dcache.c28 #define LOC(x) (((x) >> 24) & MASK(3)) macro
113 int loc = LOC(clid);
/seL4-l4v-master/HOL4/examples/decidable_separationLogic/doc/
H A Dpresentation-content.tex491 & \textbf{LOC} \\\hline\hline

Completed in 43 milliseconds