Searched refs:ARMPageTableMap (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventFrom.c871 ARMPageTableMap enumerator in enum:arch_invocation_label
H A DEventTo.c771 ARMPageTableMap enumerator in enum:arch_invocation_label
H A DRPCTo.c871 ARMPageTableMap enumerator in enum:arch_invocation_label
H A DRPCFrom.c872 ARMPageTableMap enumerator in enum:arch_invocation_label
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c223 ARMPageTableMap = nInvocationLabels + 4, enumerator in enum:arch_invocation_label
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2179 if (unlikely(invLabel != ARMPageTableMap)) {
2186 userError("ARMPageTableMap: Truncated message.");
2192 userError("ARMPageTableMap: Page table is already mapped to page directory.");
2208 userError("ARMPageTableMap: Invalid PD cap.");
2219 userError("ARMPageTableMap: Virtual address cannot be in kernel window. vaddr: 0x%08lx, USER_TOP: 0x%08x", vaddr,
2232 userError("ARMPageTableMap: ASID lookup failed.");
2240 userError("ARMPageTableMap: ASID lookup failed.");
2252 userError("ARMPageTableMap: Page directory already has entry for supplied address.");
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1991 if (unlikely(invLabel != ARMPageTableMap)) {

Completed in 110 milliseconds