[Xen-ia64-devel] Re: [PATCH] use shared version of iva/dcr

[Matt Chapman <matthewc@xxxxxxxxxxxxxxx>]

On Mon, Aug 22, 2005 at 09:56:57AM -0700, Magenheimer, Dan (HP Labs Fort 
Collins) wrote:
> For dcr, this may not matter, but for iva, there
> are some semantics that need to be checked every
> virtual interrupt delivery.  At a minimum, if virtual
> iva is not private, bits 0-14 should be zeroed
> before every use by Xen, correct?

We could do that, but I don't think it's necessary.  The shared page is
only written directly by paravirtualised guests, and for those guests we
can just define the guest interface such that that field must be zero -
it seems unlikely that any OS would intentionally write that field.
If an OS were to write that field, it just shoots itself in the foot as
exceptions are vectored to the wrong address - no loss of isolation
occurs.

Matt


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