arm32_sync_icache
error = arm32_sync_icache(l,
error = arm32_sync_icache(l, SCARG(uap, parms), retval);
static int arm32_sync_icache(struct lwp *, const void *, register_t *);