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

/freebsd-current/sys/arm64/include/
H A Dpmap.h172 extern void (*pmap_clean_stage2_tlbi)(void);
/freebsd-current/sys/arm64/vmm/
H A Dvmm_arm64.c293 MPASS(pmap_clean_stage2_tlbi == NULL);
294 pmap_clean_stage2_tlbi = vmm_pmap_clean_stage2_tlbi;
463 pmap_clean_stage2_tlbi = NULL;
/freebsd-current/sys/arm64/arm64/
H A Dpmap.c407 void (*pmap_clean_stage2_tlbi)(void); variable
8646 KASSERT(pmap_clean_stage2_tlbi != NULL,
8649 pmap_clean_stage2_tlbi();

Completed in 163 milliseconds