Index: /trunk/ccl/compiler/X86/x862.lisp
===================================================================
--- /trunk/ccl/compiler/X86/x862.lisp	(revision 5764)
+++ /trunk/ccl/compiler/X86/x862.lisp	(revision 5765)
@@ -8396,5 +8396,6 @@
          (ngpr-args 0)
          (simple-foreign-args nil)
-         (fp-loads ()))
+         (fp-loads ())
+         (return-registers ()))
       (declare (fixnum  nshort-floats ndouble-floats nfpr-args ngpr-args narg-words
                         gpr-offset other-offset single-float-offset double-float-offset))
@@ -8409,7 +8410,12 @@
                            (incf nsingle-floats)
                            (incf nother-words)))
-          (t (incf ngpr-args)
-             (if (> ngpr-args 6)
-               (incf nother-words)))))
+          (:registers (setq return-registers t))
+          (t
+           (if (typep argspec 'unsigned-byte)
+             (incf nother-words argspec)
+             (progn
+               (incf ngpr-args)
+               (if (> ngpr-args 6)
+                 (incf nother-words)))))))
       (let* ((total-words (+ nother-words nsingle-floats ndouble-floats)))
         (when (null argspecs)
@@ -8435,4 +8441,6 @@
                (absptr (acode-absolute-ptr-p valform)))
           (case spec
+            (:registers
+             (x862-vpush-register seg (x862-one-untargeted-reg-form seg valform x8664::arg_z)))
             (:double-float
              (let* ((df ($ x8664::fp1 :class :fpr :mode :double-float)))
@@ -8471,13 +8479,22 @@
                       (incf other-offset)))))
             (t
-             (with-imm-target () (valreg :natural)
-                (let* ((reg (x862-unboxed-integer-arg-to-reg seg valform valreg spec)))
-                  (incf ngpr-args)
-                  (cond ((<= ngpr-args 6)
-                         (! set-c-arg reg gpr-offset)
-                         (incf gpr-offset))
-                        (t
-                         (! set-c-arg reg other-offset)
-                         (incf other-offset)))))))))
+             (if (typep spec 'unsigned-byte)
+               (progn
+                 (with-imm-target () (ptr :address)
+                   (x862-one-targeted-reg-form seg valform ptr)
+                   (with-imm-target (ptr) (r :natural)
+                     (dotimes (i spec)
+                       (! mem-ref-c-doubleword r ptr (ash i x8664::word-shift))
+                       (! set-c-arg r other-offset)
+                       (incf other-offset)))))               
+               (with-imm-target () (valreg :natural)
+                 (let* ((reg (x862-unboxed-integer-arg-to-reg seg valform valreg spec)))
+                   (incf ngpr-args)
+                   (cond ((<= ngpr-args 6)
+                          (! set-c-arg reg gpr-offset)
+                          (incf gpr-offset))
+                         (t
+                          (! set-c-arg reg other-offset)
+                          (incf other-offset))))))))))
       (do* ((fpreg x8664::fp0 (1+ fpreg))
             (reloads (nreverse fp-loads) (cdr reloads)))
@@ -8490,9 +8507,13 @@
             (! reload-double-c-arg ($ fpreg :class :fpr :mode :double-float) from)
             (! reload-single-c-arg ($ fpreg :class :fpr :mode :single-float) from))))
+      (if use-registers
+        (x862-vpop-register seg ($ x8664::arg_y)))
       (if simple-foreign-args
         (x862-one-targeted-reg-form seg address x8664::arg_z)
         (x862-vpop-register seg ($ x8664::arg_z)))
       (x862-lri seg x8664::rax (min 8 nfpr-args))
-      (! ff-call) 
+      (if use-registers
+        (! ff-call-returning-registers)
+        (! ff-call) )
       (x862-close-undo)
       (when vreg