| /dports/math/eprover/eprover-E-2.0/PROVER/ |
| H A D | epclextract.c | 160 PCLMiniProt_p mprot = NULL; in main() local
191 mprot = PCLMiniProtAlloc(); in main()
203 steps+=PCLMiniProtParse(in, mprot); in main()
219 PCLMiniProtSetClauseProp(mprot, PCLIsProofStep); in main()
223 empty_clause = PCLMiniProtMarkProofClauses(mprot, true); in main()
254 PCLMiniProtPrintProofClauses(GlobalOut,mprot, output_format); in main()
280 PCLMiniProtFree(mprot); in main()
|
| /dports/devel/slibtool/slibtool-0.5.34/src/internal/ |
| H A D | slibtool_mapfile_impl.c | 35 uint32_t mprot; in slbt_map_file() local
40 mprot = PROT_READ|PROT_WRITE; in slbt_map_file()
43 mprot = PROT_READ; in slbt_map_file()
46 mprot = PROT_WRITE; in slbt_map_file()
61 ? mmap(0,st.st_size,mprot,MAP_SHARED,fd,0) in slbt_map_file()
|
| /dports/devel/interactive_rebase_tool/git-interactive-rebase-tool-1.2.1/cargo-crates/libgit2-sys-0.7.11/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/misc/broot/broot-1.7.0/cargo-crates/libgit2-sys-0.12.21+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/sentry-cli/sentry-cli-1.71.0/cargo-crates/libgit2-sys-0.12.23+1.2.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/git-absorb/git-absorb-0.6.6/cargo-crates/libgit2-sys-0.12.13+1.0.1/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/R-cran-git2r/git2r/src/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/git-delta/delta-0.9.2/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/libgit2-sys-0.12.7+1.0.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/tokei/tokei-12.1.2/cargo-crates/libgit2-sys-0.12.17+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/gbump/gbump-1.0.1/cargo-crates/libgit2-sys-0.9.1/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/libgit2/libgit2-1.3.0/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/libgit2-sys-0.12.19+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/libgit2-sys-0.12.23+1.2.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/gitui/gitui-0.10.1/cargo-crates/libgit2-sys-0.12.12+1.0.1/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/cargo-generate/cargo-generate-0.9.0/cargo-crates/libgit2-sys-0.12.22+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/libgit2-sys-0.12.26+1.3.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/sysutils/onefetch/onefetch-2.10.2/cargo-crates/libgit2-sys-0.12.21+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/textproc/mdbook-linkcheck/mdbook-linkcheck-0.7.6/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/devel/pijul/pijul-1.0.0.a55/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/libgit2-sys/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/sysutils/exa/exa-0.10.1/cargo-crates/libgit2-sys-0.12.18+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/textproc/bat/bat-0.18.3/cargo-crates/libgit2-sys-0.12.21+1.1.0/libgit2/src/unix/ |
| H A D | map.c | 37 int mprot = PROT_READ; in p_mmap() local
46 mprot |= PROT_WRITE; in p_mmap()
55 out->data = mmap(NULL, len, mprot, mflag, fd, offset); in p_mmap()
|
| /dports/databases/qt5-sqldrivers-sqlite3/kde-qtbase-5.15.2p263/src/corelib/kernel/ |
| H A D | qsharedmemory_posix.cpp | 171 const int mprot = (mode == QSharedMemory::ReadOnly ? PROT_READ : PROT_READ | PROT_WRITE); in attach() local
172 memory = QT_MMAP(0, size, mprot, MAP_SHARED, hand, 0); in attach()
|
| /dports/databases/qt5-sqldrivers-sqlite2/kde-qtbase-5.15.2p263/src/corelib/kernel/ |
| H A D | qsharedmemory_posix.cpp | 171 const int mprot = (mode == QSharedMemory::ReadOnly ? PROT_READ : PROT_READ | PROT_WRITE); in attach() local
172 memory = QT_MMAP(0, size, mprot, MAP_SHARED, hand, 0); in attach()
|