arch_cpu_sync_icache
void arch_cpu_sync_icache(void *address, size_t length);
arch_cpu_sync_icache(handlers, args->arch_args.exception_handlers.size);
arch_cpu_sync_icache(address, length);