arm32_sync_icache
error = arm32_sync_icache(p, SCARG(uap, parms), retval);
static int arm32_sync_icache (struct proc *, char *, register_t *);