Lines Matching refs:VKI_PROT_READ
701 (size, VKI_PROT_WRITE|VKI_PROT_READ, VKI_MAP_SHARED, memfs_fd, memfs_base);742 ( cszB, VKI_PROT_READ|VKI_PROT_WRITE|VKI_PROT_EXEC );