K 10 svn:author V 6 cognet K 8 svn:date V 27 2012-04-04T19:40:15.745126Z K 7 svn:log V 139 Introduce a new option, ARM_WANT_TP_ADDRESS, and use that to check if we need the whole ARM_TP_ADDRESS mess, instead of testing #ifdef SMP END