Symbol: rump_icache_sync_range
sys/rump/librump/rumpkern/arch/arm/cpufunc.c
41
static void rump_icache_sync_range(vaddr_t, vsize_t);
sys/rump/librump/rumpkern/arch/arm/cpufunc.c
44
.cf_icache_sync_range = &rump_icache_sync_range