Jeremy Fitzhardinge 5378701324 paravirt: unstatic leave_mm
Make globally leave_mm visible, specifically so that Xen can use it to
shoot-down lazy uses of cr3.

Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Signed-off-by: Chris Wright <chrisw@sous-sol.org>
2007-07-18 08:47:41 -07:00
..
2007-07-12 10:55:56 -07:00
2007-07-18 08:47:41 -07:00
2007-06-01 08:18:28 -07:00
2007-05-21 09:56:56 -07:00
2007-07-17 10:23:11 -07:00