Andi Kleen wrote: >>Since the paravirtualized guest can not change EFLAGS_IF via cli, sti, >>popf, or iret, these instructions need special support. In Xen, this is >>analogous to masking the event channel; in fact these diffs very nearly >>match up with the XenoLinux fault / trap handling code. >> >> > >[...] I meant theory comment in the code. > > I'm working on it right now. There is a superset of this to come shortly.