seL4/include/plat
Adrian Danis 646638efee x86: Do not conditionally compile IOMMU code, use build/run time checks
Guarding code with #ifdef's makes even cursor testing of 'does this code compile'
difficult due to code being hidden by the pre-processor. Using config_set in
regular C if statements is performant as the compiler can trivially detect
dead code at compile time, and at -O1 and above will not even link in symbols
referenced by dead code in these blocks, so this will not bloat image size
2015-12-17 14:37:08 +11:00
..
allwinnerA20/plat Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
am335x Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
apq8064 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
exynos4 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
exynos5 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
imx6 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
imx31 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
omap3 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
pc99 x86: Do not conditionally compile IOMMU code, use build/run time checks 2015-12-17 14:37:08 +11:00
zynq7000 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00