name change for arch interface from common/domain.c

ChangeSet 1.1311.11.1, 2005/03/24 15:43:28-07:00, djm@xxxxxxxxxxxxxxxxxx

        name change for arch interface from common/domain.c



 domain.c |   18 ++++++++++++++++--
 1 files changed, 16 insertions(+), 2 deletions(-)


diff -Nru a/xen/arch/ia64/domain.c b/xen/arch/ia64/domain.c
--- a/xen/arch/ia64/domain.c    2005-03-25 19:05:14 -05:00
+++ b/xen/arch/ia64/domain.c    2005-03-25 19:05:14 -05:00
@@ -208,6 +208,12 @@
        return 1;
 }
 
+int arch_final_setup_guest(struct exec_domain *p, full_execution_context_t *c)
+{
+       dummy();
+       return 1;
+}
+
 void domain_relinquish_memory(struct domain *d)
 {
        dummy();
@@ -397,12 +403,20 @@
 
 static void copy_memory(void *dst, void *src, int size)
 {
+       int remain;
+
        if (IS_XEN_ADDRESS(dom0,src)) {
                memcpy(dst,src,size);
        }
        else {
-               if (__copy_from_user(dst,src,size))
-                       printf("incomplete user copy\n");
+               printf("About to call __copy_from_user(%p,%p,%d)\n",
+                       dst,src,size);
+               while (remain = __copy_from_user(dst,src,size)) {
+                       printf("incomplete user copy, %d remain of %d\n",
+                               remain,size);
+                       dst += size - remain; src += size - remain;
+                       size -= remain;
+               }
        }
 }
 


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click