diff options
| author | 2008-01-30 13:33:15 +0100 | |
|---|---|---|
| committer | 2008-01-30 13:33:15 +0100 | |
| commit | 60b3f626dee9f0b1b656918e40e211822c18200d (patch) | |
| tree | dc37c871dc7b18e0a2d24cbf93487fcc2b3b6678 /scripts/basic | |
| parent | x86/paravirt: make set_pte operations common (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 'scripts/basic')
0 files changed, 0 insertions, 0 deletions
