Symbol: rumpcomp_sync_icache
sys/rump/kern/lib/libsljit/arch/arm/cpufunc.c
51
(void)rumpcomp_sync_icache((void *)va, (uint64_t)sz);
sys/rump/kern/lib/libsljit/arch/mips/cache.c
51
(void)rumpcomp_sync_icache((void *)(uintptr_t)va, (uint64_t)sz);
sys/rump/kern/lib/libsljit/sljit_rump.h
29
int rumpcomp_sync_icache(void *, uint64_t);