>>> On 12.05.15 at 16:58, <rcojoc...@bitdefender.com> wrote: > +/* Supported values for the vm_event_write_ctrlreg index. */ > +#define X86_CR0 (1 << 0) > +#define X86_CR3 (1 << 1) > +#define X86_CR4 (1 << 2) > +#define X86_XCR0 (1 << 3)
These names, being put in the public interface, are way too generic. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
