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 D | tlb.h | 12 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 D | machine_pl2.h | 21 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 D | smmuv2.c | 470 uint32_t vmid = cb; local 491 reg |= CBA2Rn_VMID_SET(vmid); 501 reg |= CBARn_VMID_SET(vmid);
|
Completed in 36 milliseconds