> C-like parameter passing can only be deduced starting with the
> leftmost parameter (while kaffe passes them from right to left), ...

Have a look at the alpha support in prolog and 
alpha_call_kaffe_function_varargs in config/alpha/jit-alpha.def.
Alpha and PPC have almost the same problems with parameters.


r~