x86/bios/IntelMP.py

44     cxx_header = 'arch/x86/bios/intelmp.hh'
57     cxx_header = 'arch/x86/bios/intelmp.hh'
85     cxx_header = 'arch/x86/bios/intelmp.hh'
91     cxx_header = 'arch/x86/bios/intelmp.hh'
97     cxx_header = 'arch/x86/bios/intelmp.hh'
114     cxx_header = 'arch/x86/bios/intelmp.hh'
127     cxx_header = 'arch/x86/bios/intelmp.hh'
158     cxx_header = 'arch/x86/bios/intelmp.hh'
178     cxx_header = 'arch/x86/bios/intelmp.hh'
204     cxx_header = 'arch/x86/bios/intelmp.hh'
215     cxx_header = 'arch/x86/bios/intelmp.hh'
230     cxx_header = 'arch/x86/bios/intelmp.hh'