Thanks, Tim.I think the important detail is that HVMOP_flush_tlbs doesn't take a target
domain - it always flushes the _caller's_ TLBs. I guess you want to
flush the TLBs of another domain for some reason? AFAICS the version in
mainline Xen has never taken an argument so perhaps you could add one
(making sure to keep backward compatibility, of course).
-- Antony Saba, antony.saba@mandiant.com