K 10 svn:author V 3 ian K 8 svn:date V 27 2014-01-06T15:48:16.331315Z K 7 svn:log V 156 Switch to using arm_devmap_add_entry() to set up static device mapping. This eliminates the hard-coded max kva and roughly doubles the available kva space. END