OP-TEE/optee_os — pull request #166 by pascal-brand-st-dev (2014-12-17 13:30:53+00:00)
Title: Rename variable

to ease pager port on STM platform