Kip Macy 7e9608c858 PT_UPDATES_FLUSH() is used in common code so it needs to be defined
even in the !defined(XEN) case

MFC after:	1 month
2008-08-18 21:35:09 +00:00
..
2008-08-11 04:54:43 +00:00
2008-08-03 14:11:06 +00:00
2008-08-10 12:15:36 +00:00