Searched defs: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
38 word_t vmid = ipa_plus_vmid >> 48; local
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/
H A Dmachine_pl2.h21 word_t pd_val, vmid; local
49 word_t pd_val, vmid; local
/seL4-l4v-master/seL4/src/drivers/smmu/
H A Dsmmuv2.c470 uint32_t vmid = cb; local

Completed in 37 milliseconds