diff options
| author | Jeremy Fitzhardinge <[email protected]> | 2007-07-17 18:37:03 -0700 |
|---|---|---|
| committer | Jeremy Fitzhardinge <[email protected]> | 2007-07-18 08:47:41 -0700 |
| commit | 53787013248f52af81d99f63454e5a5cf34d6f12 (patch) | |
| tree | 3a56e7439d8ee407af34899501ab663ee8202054 /include/linux/debugobjects.h | |
| 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 <[email protected]>
Signed-off-by: Chris Wright <[email protected]>
Diffstat (limited to 'include/linux/debugobjects.h')
0 files changed, 0 insertions, 0 deletions