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

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h60 void invalidateTLBByASID(asid_t asid);
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1217 static inline void invalidateTLBByASID(asid_t asid) function
1295 invalidateTLBByASID(asid);
1308 invalidateTLBByASID(asid);
1321 invalidateTLBByASID(asid);
1403 invalidateTLBByASID(asid);
1421 invalidateTLBByASID(asid_base + offset);
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1575 void invalidateTLBByASID(asid_t asid) function
1924 invalidateTLBByASID(asid);
1958 invalidateTLBByASID(asid);

Completed in 261 milliseconds