Searched defs:rumpcomp_sync_icache (Results 1 – 3 of 3) sorted by relevance
42 rumpcomp_sync_icache(void *addr, uint64_t len) in rumpcomp_sync_icache() function
40 rumpcomp_sync_icache(void *addr, uint64_t len) in rumpcomp_sync_icache() function
39 rumpcomp_sync_icache(void *addr, uint64_t len) in rumpcomp_sync_icache() function