46a47
> cxx_header = 'arch/x86/pagetable_walker.hh'
52a54
> cxx_header = 'arch/x86/tlb.hh'