diff options
| author | 2008-01-30 13:33:15 +0100 | |
|---|---|---|
| committer | 2008-01-30 13:33:15 +0100 | |
| commit | 28c6075c72a312986f6d7802005251bdb91ca80c (patch) | |
| tree | dabaf04448ba79f98b61bfd975868d3c87a1ab24 /scripts/patch-kernel | |
| parent | x86/paravirt: make set_pmd operation common (diff) | |
x86/paravirt: make set_pud operation common
Remove duplicate set_pud()s.
Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Diffstat (limited to 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions
