Home
last modified time | relevance | path

Searched refs:relations (Results 1 – 10 of 10) sorted by relevance

/Linux-v5.4/tools/memory-model/
Dlock.cat87 * and then convert that relation to a set of single-edge relations.
95 (* Generate all rf relations for LF events *)
115 (* Generate all rf relations for RU events *)
122 (* Generate all co relations, including LKW events but not UL *)
Dlinux-kernel.cat24 (* Basic relations *)
118 * one but two non-rf relations, but only in conjunction with an RCU
DREADME158 relations on the locking primitives.
/Linux-v5.4/Documentation/ABI/testing/
Dsysfs-class-extcon19 such binary relations may be expressed with extcon_dev's
85 Shows the relations of mutually exclusiveness. For example,
/Linux-v5.4/drivers/pci/controller/
Dpci-hyperv.c2103 struct pci_bus_relations *relations) in hv_pci_devices_present() argument
2116 (relations->device_count)), GFP_NOWAIT); in hv_pci_devices_present()
2124 dr->device_count = relations->device_count; in hv_pci_devices_present()
2126 memcpy(dr->func, relations->func, in hv_pci_devices_present()
3021 struct pci_bus_relations relations; in hv_pci_bus_exit() local
3033 memset(&relations, 0, sizeof(relations)); in hv_pci_bus_exit()
3034 hv_pci_devices_present(hbus, &relations); in hv_pci_bus_exit()
/Linux-v5.4/tools/memory-model/Documentation/
Dexplanation.txt56 relations used in many models. Starting in Section 13 (AN OPERATIONAL
321 Events in the LKMM can be linked by various relations, which we will
323 of these relations to be orderings, that is, it requires them not to
715 relations; it is not independent. Given a read event R and a write
900 and po-loc relations agree with this global ordering; in other words,
904 relations not to have any cycles. This means it must not be possible
1517 The LKMM also defines the rcu-gp and rcu-rscsi relations. They bring
1721 sequence of relations contains fewer instances of rcu-gp (one) than of
1750 above, with new relations srcu-gp and srcu-rscsi added to represent
Drecipes.txt550 avoid a counter-intuitive outcome depends on the types of relations
/Linux-v5.4/drivers/staging/comedi/drivers/ni_routing/
DREADME171 Various naming conventions and relations:
/Linux-v5.4/Documentation/vm/
Dhmm.rst54 complex data set needs to re-map all the pointer relations between each of its
/Linux-v5.4/net/sched/
DKconfig657 the famous u32 key in combination with logic relations.