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 /arch/i386/kernel/smpboot.c | |
| parent | paravirt: increase IRQ limit (diff) | |
| download | linux-dev-53787013248f52af81d99f63454e5a5cf34d6f12.tar.xz linux-dev-53787013248f52af81d99f63454e5a5cf34d6f12.zip | |
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 '')
0 files changed, 0 insertions, 0 deletions