[XenPPC] [pushed]cast evtchn_upcall_pending because it is a different size for us

[jimix@xxxxxxxxxxxxxx]

changeset:   9451:f2036b955ff4
user:        jimix@xxxxxxxxxxxxxxxxxxxxx
date:        Thu Mar 23 16:07:21 2006 -0500
summary:     cast evtchn_upcall_pending because it is a different size for us

diff -r 0093124ba24b -r f2036b955ff4 xen/common/keyhandler.c
--- a/xen/common/keyhandler.c   Thu Mar 23 11:39:45 2006 -0500
+++ b/xen/common/keyhandler.c   Thu Mar 23 16:07:21 2006 -0500
@@ -148,7 +148,7 @@ static void dump_domains(unsigned char k
                    v->vcpu_id, v->processor,
                    test_bit(_VCPUF_running, &v->vcpu_flags) ? 'T':'F',
                    v->vcpu_flags,
-                   v->vcpu_info->evtchn_upcall_pending, 
+                   (unsigned)v->vcpu_info->evtchn_upcall_pending, 
                    v->vcpu_info->evtchn_upcall_mask);
             cpuset_print(cpuset, sizeof(cpuset), v->vcpu_dirty_cpumask);
             printk("dirty_cpus=%s ", cpuset);



_______________________________________________
Xen-ppc-devel mailing list
Xen-ppc-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ppc-devel