Don't use the in_interrupt() fix in __vx_check()
authorMarc Fiuczynski <mef@cs.princeton.edu>
Thu, 14 Dec 2006 20:05:45 +0000 (20:05 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Thu, 14 Dec 2006 20:05:45 +0000 (20:05 +0000)

No differences found