Private Shared Memory Pages
configname: CONFIG_OPTEE_SHM_NUM_PRIV_PAGES
Linux Kernel Configuration
└─>Device Drivers
└─>TEE drivers
└─>Private Shared Memory Pages
In linux kernel since version 4.2 (release Date: 2015-08-30)
This sets the number of private shared memory pages to be
used by OP-TEE TEE driver.
used by OP-TEE TEE driver.