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 /sound/core | |
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 'sound/core')
0 files changed, 0 insertions, 0 deletions