ARM_SYNC_ICACHE
return sysarch(ARM_SYNC_ICACHE, (void *)&p);
case ARM_SYNC_ICACHE:
case ARM_SYNC_ICACHE :