ARM-software/arm-trusted-firmware — pull request #82 by linmaonly (2014-05-17 23:44:14+00:00)
Title: Address issue 156: 64-bit addresses get trucanted

Use "unsigned long" instead of "unsigned int"