Functions to check:
access_okdoes not need maskfind_vma,find_vma_intersection,vma_lookup,find_vma_prevsometimes take masked address, so we cannot check delta in them.
Functions that use untagged_addr
strncpy_from_user,strnlen_usermincoregupTODO!!!msyncmunmapmempolicythree cases donemlockdo_mlockmremapmprotect