arm64kpti.cfg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

CONSTANT defaultInitValue = defaultInitValue
\* Add statements after this line.
SPECIFICATION	PreemptSpec

CONSTANTS	CPUS = {p1}
		THREADS = {t1, t2}
		MMS = {m1, m2}
		TLB = tlb
		TTBR0_PAN = TRUE

SYMMETRY	Perms

INVARIANTS	TypeInv
		SchedInv
		KPTIInv
		UniqueASID
		SameASID
		BaddrASIDMatch
		KernelASID
		UserASID
		GlobalEntry