diff options
| author | cedric-chaumont-st <cedric.chaumont@st.com> | 2014-09-05 14:05:21 +0200 |
|---|---|---|
| committer | cedric-chaumont-st <cedric.chaumont@st.com> | 2014-09-05 14:05:21 +0200 |
| commit | 22720bef24fa377688fd6ef3c7cbd915b537f176 (patch) | |
| tree | 28a55d27f1e9c57e44663c971e559d186d741ecf | |
| parent | b8cea2dce30b1f06d2a4b39f298609de059f3cab (diff) | |
| parent | 961b8a4fdb93b2698f835a54e22fb32921eff049 (diff) | |
Merge pull request #5 from cedric-chaumont-st-dev/dev/fix_include_highmem
fix building by adding include highmem
| -rw-r--r-- | generic/tee_service.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/tee_service.c b/generic/tee_service.c index 975309a..5fe55b4 100644 --- a/generic/tee_service.c +++ b/generic/tee_service.c @@ -21,6 +21,7 @@ #include <linux/uaccess.h> #include <linux/device.h> #include <linux/miscdevice.h> +#include <linux/highmem.h> #include "tee-op.h" #include "tee_driver.h" |