K 10 svn:author V 3 ian K 8 svn:date V 27 2014-01-04T22:09:53.287354Z K 7 svn:log V 273 Convert static device mapping to use the new arm_devmap_add_entry(), and add static mappings that cover most of the on-chip peripherals with 1MB section mappings. This adds about 220MB or so available kva space by not using a hard-coded 0xF0000000 as the mapping address. END