diff options
| author | Jeremy Fitzhardinge <jeremy@goop.org> | 2008-01-30 13:33:15 +0100 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-01-30 13:33:15 +0100 |
| commit | 60b3f626dee9f0b1b656918e40e211822c18200d (patch) | |
| tree | dc37c871dc7b18e0a2d24cbf93487fcc2b3b6678 /drivers | |
| parent | 4eed80cd7a1668df6ddd884f9474beccc81ef3f7 (diff) | |
x86/paravirt: make set_pmd operation common
Remove duplicate set_pmd()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 'drivers')
0 files changed, 0 insertions, 0 deletions