Symbol: arm64_icache_sync_range_checked
sys/arm64/include/cpufunc.h
208
#define cpu_icache_sync_range_checked(a, s) arm64_icache_sync_range_checked((a), (s))
sys/arm64/include/cpufunc.h
215
int arm64_icache_sync_range_checked(void *, vm_size_t);