OP-TEE/optee_linuxdriver — pull request #5 by cedric-chaumont-st-dev (2014-09-05 08:30:05+00:00)
Title: fix building by adding include highmem

Change-Id: I3ebeeebb7c3c4084f8a52f36fd5ba2c8246b7480
Signed-off-by: Cedric Chaumont