PERFORCE change 132232 for review

[Kip Macy]

http://perforce.freebsd.org/chv.cgi?CH=132232

Change 132232 by kmacy at pandemonium:kmacy:xen31 on 2008/01/01 06:36:00

	this is a bit of an abomination but for the moment
	this allows us to store the interrupt masked bit in eflags

Affected files ...

.. //depot/projects/xen31/sys/i386/include/psl.h#2 edit

Differences ...

==== //depot/projects/xen31/sys/i386/include/psl.h#2 (text+ko) ====

@@ -68,9 +68,13 @@
  * Initial flags for kernel and user mode.  The kernel later inherits
  * PSL_I and some other flags from user mode.
  */
+#ifdef XEN
+#define	PSL_KERNEL	1
+#define PSL_USER	0
+#else
 #define	PSL_KERNEL	PSL_RESERVED_DEFAULT
 #define	PSL_USER	(PSL_RESERVED_DEFAULT | PSL_I)
-
+#endif
 /*
  * Bits that can be changed in user mode on 486's.  We allow these bits
  * to be changed using ptrace(), sigreturn() and procfs.  Setting PS_NT