[Xen-ia64-devel] Strange code in vmx_init.c

[Tristan Gingold <tgingold@xxxxxxx>]

Hi,

in vms_final_setup_guest() I can read:

        v->arch.privregs = (mapped_regs_t *)vpd;
        vcpu_share_privregs_with_guest(v);

Why is vcpu_share_privregs_with_guest() called ?  Do we really want make the
vpd writable by the guest software ?  Looks like a bug to me.

Tristan.

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