2007-12-13 Richard Earnshaw <rearnsha@arm.com>