ia64/xen-unstable

changeset 12866:45765c7a5066

Make XEN_DOMCTL_getdomaininfo return shared_info_frame in gmfn not mfn.
Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author kfraser@localhost.localdomain
date Fri Dec 08 09:32:42 2006 +0000 (2006-12-08)
parents 28e883b3933d
children 70a7a4c953b4
files xen/common/domctl.c xen/include/public/domctl.h
line diff
     1.1 --- a/xen/common/domctl.c	Fri Dec 08 09:27:39 2006 +0000
     1.2 +++ b/xen/common/domctl.c	Fri Dec 08 09:32:42 2006 +0000
     1.3 @@ -126,7 +126,7 @@ void getdomaininfo(struct domain *d, str
     1.4      
     1.5      info->tot_pages         = d->tot_pages;
     1.6      info->max_pages         = d->max_pages;
     1.7 -    info->shared_info_frame = __pa(d->shared_info) >> PAGE_SHIFT;
     1.8 +    info->shared_info_frame = mfn_to_gmfn(d, __pa(d->shared_info)>>PAGE_SHIFT);
     1.9  
    1.10      memcpy(info->handle, d->handle, sizeof(xen_domain_handle_t));
    1.11  }
     2.1 --- a/xen/include/public/domctl.h	Fri Dec 08 09:27:39 2006 +0000
     2.2 +++ b/xen/include/public/domctl.h	Fri Dec 08 09:32:42 2006 +0000
     2.3 @@ -93,7 +93,7 @@ struct xen_domctl_getdomaininfo {
     2.4      uint32_t flags;              /* XEN_DOMINF_* */
     2.5      uint64_t tot_pages;
     2.6      uint64_t max_pages;
     2.7 -    uint64_t shared_info_frame;  /* MFN of shared_info struct */
     2.8 +    uint64_t shared_info_frame;  /* GMFN of shared_info struct */
     2.9      uint64_t cpu_time;
    2.10      uint32_t nr_online_vcpus;    /* Number of VCPUs currently online. */
    2.11      uint32_t max_vcpu_id;        /* Maximum VCPUID in use by this domain. */