diff options
| author | Jan Beulich <[email protected]> | 2006-01-17 07:03:32 +0100 |
|---|---|---|
| committer | Linus Torvalds <[email protected]> | 2006-01-16 23:18:35 -0800 |
| commit | f0cf5d1a34725f3eab39120204da4afa43874269 (patch) | |
| tree | 14d87fb5f2f3ace1294d85f8a9fd3666ce33ec8d /scripts/basic | |
| parent | 0addb142afa12a9bdf6cc53d3e86670c59c82d8f (diff) | |
[PATCH] x86_64: eliminate empty_bad_{page,{pte,pmd}_table}
... as they are no longer needed. Since there were hard-coded numbers in the
file, the patch also adds a mechanism to avoid these (otherwise potential
future changes would again and again require adjusting these numbers).
Signed-Off-By: Jan Beulich <[email protected]>
Signed-off-by: Andi Kleen <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>
Diffstat (limited to 'scripts/basic')
0 files changed, 0 insertions, 0 deletions