> 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. -Andi