diff options
| author | Jeremy Fitzhardinge <jeremy@xensource.com> | 2007-07-17 18:37:03 -0700 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy@goop.org> | 2007-07-18 08:47:41 -0700 |
| commit | 53787013248f52af81d99f63454e5a5cf34d6f12 (patch) | |
| tree | 3a56e7439d8ee407af34899501ab663ee8202054 /drivers/zorro | |
| parent | 03f0c2f950f813e3b26c56ed041ba170479d479c (diff) | |
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>
Diffstat (limited to 'drivers/zorro')
0 files changed, 0 insertions, 0 deletions