| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIChecker.h | 1 //===-- MPIChecker.h - Verify MPI API usage- --------------------*- C++ -*-===//
10 /// This file defines the main class of MPI-Checker which serves as an entry
13 /// MPI API.
28 namespace mpi { namespace in namespace:clang::ento
57 /// \param PreCallEvent MPI call to verify
65 /// \param PreCallEvent MPI call to verify
83 /// \param CE MPI wait call using the request(s)
92 /// \param CE MPI wait call
100 } // end of namespace: mpi
|
| MPIBugReporter.cpp | 11 /// case of MPI related bugs, detected by path-sensitive analysis.
21 namespace mpi { namespace in namespace:clang::ento
24 const CallEvent &MPICallEvent, const ento::mpi::Request &Req,
50 const ento::mpi::Request &Req, const MemRegion *const RequestRegion,
115 } // end of namespace: mpi
|
| MPIBugReporter.h | 11 /// case of MPI related bugs, detected by path-sensitive analysis.
23 namespace mpi { namespace in namespace:clang::ento
37 /// \param MPICallEvent MPI call that caused the double nonblocking
71 const std::string MPIError = "MPI Error";
103 } // end of namespace: mpi
|
| MPITypes.h | 1 //===-- MPITypes.h - Functionality to model MPI concepts --------*- C++ -*-===//
10 /// This file provides definitions to model concepts of MPI. The mpi::Request
11 /// class defines a wrapper class, in order to make MPI requests trackable for
25 namespace mpi { namespace in namespace:clang::ento
44 // The RequestMap stores MPI requests which are identified by their memory
45 // region. Requests are used in MPI to complete nonblocking operations with wait
50 clang::ento::mpi::Request>
53 } // end of namespace: mpi
56 struct ProgramStateTrait<mpi::RequestMap
[all...] |
| MPIChecker.cpp | 10 /// This file defines the main class of MPI-Checker which serves as an entry
13 /// MPI API.
23 namespace mpi { namespace in namespace:clang::ento
76 static CheckerProgramPointTag Tag("MPI-Checker", "UnmatchedWait");
108 static CheckerProgramPointTag Tag("MPI-Checker", "MissingWait");
184 } // end of namespace: mpi
190 MGR.registerChecker<clang::ento::mpi::MPIChecker>();
|
| MPIFunctionClassifier.cpp | 1 //===-- MPIFunctionClassifier.cpp - classifies MPI functions ----*- C++ -*-===//
10 /// This file defines functionality to identify and classify MPI functions.
19 namespace mpi { namespace in namespace:clang::ento
281 } // end of namespace: mpi
|
| /src/sys/dev/pci/ |
| mlx_pci.c | 163 const struct mlx_pci_ident *mpi, *maxmpi; local
166 mpi = mlx_pci_ident;
167 maxmpi = mpi + sizeof(mlx_pci_ident) / sizeof(mlx_pci_ident[0]);
169 for (; mpi < maxmpi; mpi++) {
170 if (PCI_VENDOR(pa->pa_id) != mpi->mpi_vendor ||
171 PCI_PRODUCT(pa->pa_id) != mpi->mpi_product)
174 if (mpi->mpi_subvendor == 0x0000)
175 return (mpi);
179 if (PCI_VENDOR(reg) == mpi->mpi_subvendor &
212 const struct mlx_pci_ident *mpi; local
[all...] |
| mly.c | 237 const struct mly_ident *mpi, *maxmpi; local
240 mpi = mly_ident;
241 maxmpi = mpi + sizeof(mly_ident) / sizeof(mly_ident[0]);
246 for (; mpi < maxmpi; mpi++) {
247 if (PCI_VENDOR(pa->pa_id) != mpi->vendor ||
248 PCI_PRODUCT(pa->pa_id) != mpi->product)
251 if (mpi->subvendor == 0x0000)
252 return (mpi);
256 if (PCI_VENDOR(reg) == mpi->subvendor &
[all...] |
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Checkers/ |
| MPIFunctionClassifier.h | 1 //===-- MPIFunctionClassifier.h - classifies MPI functions ----*- C++ -*-===//
10 /// This file defines functionality to identify and classify MPI functions.
21 namespace mpi { namespace in namespace:clang::ento
56 // The containers are used, to enable classification of MPI-functions during
92 } // end of namespace: mpi
|
| /src/sys/arch/x86/x86/ |
| lapic.c | 425 struct mp_intr_map *mpi; local
456 mpi = &mp_intrs[i];
457 if (mpi->ioapic == NULL && (mpi->cpu_id == MPS_ALL_APICS ||
458 mpi->cpu_id == ci->ci_cpuid)) {
459 if (mpi->ioapic_pin > 1)
462 __func__, mpi->ioapic_pin);
463 if (mpi->ioapic_pin == 0)
464 lapic_writereg(LAPIC_LVT_LINT0, mpi->redir);
466 lapic_writereg(LAPIC_LVT_LINT1, mpi->redir)
[all...] |
| mpacpi.c | 180 struct mp_intr_map *mpi; local
198 mpi = &mp_intrs[*index];
200 mpi->next = NULL;
201 mpi->bus = NULL;
202 mpi->type = MPS_INTTYPE_NMI;
203 mpi->ioapic = pic;
205 mpi->ioapic_pin = pin;
206 mpi->bus_pin = -1;
207 mpi->redir = (IOAPIC_REDLO_DEL_NMI << IOAPIC_REDLO_DEL_SHIFT);
210 pic->pic_ioapic->sc_pins[pin].ip_map = mpi;
564 struct mp_intr_map *mpi, *iter; local
730 struct mp_intr_map *mpi; local
[all...] |
| mpbios.c | 937 struct mpbios_int mpi; local
951 /* mpi.type is irrelevant for mpbios_int(). */
952 mpi.int_type = MPS_INTTYPE_ExtINT;
953 mpi.int_flags = 0;
954 mpi.src_bus_id = 0;
955 mpi.src_bus_irq = 0;
956 mpi.dst_apic_id = DFLT_IOAPIC_ID;
957 mpi.dst_apic_int = 0;
958 mpbios_int((u_int8_t *)&mpi, MPS_MCT_IOINT,
965 /* mpi.type is irrelevant for mpbios_int(). *
[all...] |
| /src/sys/dev/i2o/ |
| iop.c | 832 iop_adjqparam(struct iop_softc *sc, int mpi)
838 (*ii->ii_adjqparam)(ii->ii_dv, mpi); local
|
| /src/crypto/external/bsd/netpgp/dist/src/libverify/ |
| verify.h | 114 uint8_t *mpi; member in struct:pgpv_signature_t
|
| /src/crypto/external/apache2/openssl/dist/test/ |
| bntest.c | 38 const char *mpi; member in struct:mpitest_st
1951 || !TEST_mem_eq(test->mpi, test->mpi_len, scratch + i, test->mpi_len))
1978 || !TEST_mem_eq(test->mpi, test->mpi_len, reversed + i, test->mpi_len))
2215 || !TEST_mem_eq(test->mpi, test->mpi_len, scratch, mpi_len))
|
| /src/crypto/external/bsd/openssl/dist/test/ |
| bntest.c | 35 const char *mpi; member in struct:mpitest_st
2062 || !TEST_mem_eq(test->mpi, test->mpi_len, scratch, mpi_len))
|
| /src/crypto/external/bsd/openssl.old/dist/test/ |
| bntest.c | 39 const char *mpi; member in struct:mpitest_st
2058 || !TEST_mem_eq(test->mpi, test->mpi_len, scratch, mpi_len))
|
| /src/crypto/external/bsd/netpgp/dist/src/netpgpverify/ |
| libverify.c | 136 uint8_t *mpi; member in struct:pgpv_signature_t
384 /* signature mpi indices in bignumber array */
721 /* format an mpi into memory */
723 fmt_binary_mpi(pgpv_bignum_t *mpi, uint8_t *p, size_t size)
728 bytes = BITS_TO_BYTES(mpi->bits);
730 fprintf(stderr, "truncated mpi");
733 bn = (PGPV_BIGNUM *)mpi->bn;
738 fmt_16(p, mpi->bits);
743 /* dump an mpi value onto stdout */
1035 /* get an mpi, including 2 byte length *
[all...] |
