| 1238 | } |
| 1239 | |
| 1240 | static __inline void |
| 1241 | pmap_invalidate_all(pmap_t pmap) |
| 1242 | { |
| 1243 | uint64_t r; |
| 1244 | |
| 1245 | PMAP_ASSERT_STAGE1(pmap); |
| 1246 | |
| 1247 | dsb(ishst); |
| 1248 | if (pmap == kernel_pmap) { |
| 1249 | __asm __volatile("tlbi vmalle1is"); |
| 1250 | } else { |
| 1251 | r = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); |
| 1252 | __asm __volatile("tlbi aside1is, %0" : : "r" (r)); |
| 1253 | } |
| 1254 | dsb(ish); |
| 1255 | isb(); |
| 1256 | } |
| 1257 | |
| 1258 | /* |
| 1259 | * Routine: pmap_extract |
no outgoing calls
no test coverage detected