/* flush_icache_range() can't be used here. we are here before cpu_init() which initializes ia64_i_cache_stride_shift. flush_icache_range() uses it.  */
void __init_or_module paravirt_flush_i_cache_range(const void *instr, unsigned long size)
/* flush_icache_range() can't be used here. we are here before cpu_init() which initializes ia64_i_cache_stride_shift. flush_icache_range() uses it.  */
void __init_or_module paravirt_flush_i_cache_range(const void *instr, unsigned long size)
{
	extern void paravirt_fc_i(const void *addr);
	unsigned long i;
	for (i = 0; i < size; i += sizeof(bundle_t))
		paravirt_fc_i(instr + i);
}