use icache_read in one place