Searched refs:vmid (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dtlb.h12 static inline void invalidateLocalTLB_VMID(word_t vmid) argument
22 if (v != vmid) {
23 setCurrentUserVSpaceRoot(ttbr_new(vmid, 0));
26 if (v != vmid) {
38 word_t vmid = ipa_plus_vmid >> 48; local
42 if (v != vmid) {
43 setCurrentUserVSpaceRoot(ttbr_new(vmid, 0));
46 if (v != vmid) {
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/
H A Dmachine_pl2.h21 word_t pd_val, vmid; local
22 asm volatile("mrrc p15, 6, %0, %1, c2" : "=r"(pd_val), "=r"(vmid));
49 word_t pd_val, vmid; local
50 asm volatile("mrrc p15, 6, %0, %1, c2" : "=r"(pd_val), "=r"(vmid));
52 asm volatile("mcrr p15, 6, %0, %1, c2" : : "r"(addr), "r"(vmid));
/seL4-l4v-master/seL4/src/drivers/smmu/
H A Dsmmuv2.c470 uint32_t vmid = cb; local
491 reg |= CBA2Rn_VMID_SET(vmid);
501 reg |= CBARn_VMID_SET(vmid);

Completed in 36 milliseconds