Searched defs:mva_plus_asid (Results 1 - 1 of 1) sorted by relevance
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ | ||
H A D | machine.h | 349 static inline void invalidateLocalTLB_VAASID(word_t mva_plus_asid) argument |
Completed in 27 milliseconds