Sorry, I am not able to give any explanation here,
I am not familiar with the pvrsrvkm source, I just use it to have one
working AOSP build.
here is the source file where pte_offset_map_lock is called,
https://android-git.linaro.org/kernel/omap-modules.git/tree/pvr/services4/srvkm/env/linux/osfunc.c?h=android-mainline#n3508
in case you could know something with a quick look.
Isn't this just get_user_pages()?