OP-TEE/optee_os — pull request #158 by jenswi-linaro (2014-12-12 10:15:51+00:00)
Title: Pager 3

Next three commit in the pager patch set