Symbol: pmap_s1_invalidate_kernel
sys/arm64/arm64/pmap.c
1928
pmap_s1_invalidate_kernel(r, final_only);
sys/arm64/arm64/pmap.c
1976
pmap_s1_invalidate_kernel(r, final_only);