ARM_NVEC
for (vec = 0; vec < ARM_NVEC; vec++) {
cpu_icache_sync_range(va, (ARM_NVEC * 2) * sizeof(u_int));