x86 headers: remove duplicate pud_large() definition
authorIngo Molnar <mingo@elte.hu>
Fri, 13 Feb 2009 12:15:55 +0000 (13:15 +0100)
committerIngo Molnar <mingo@elte.hu>
Fri, 13 Feb 2009 12:15:55 +0000 (13:15 +0100)
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found