Home
last modified time | relevance | path

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

/Linux-v4.19/tools/memory-model/
Dlock.cat90 * and then convert that relation to a set of single-edge relations.
98 (* Generate all rf relations for LF events *)
118 (* Generate all rf relations for RU events *)
125 (* Generate all co relations, including LKW events but not UL *)
Dlinux-kernel.cat24 (* Basic relations *)
100 * one but two non-rf relations, but only in conjunction with an RCU
DREADME154 relations on the locking primitives.
/Linux-v4.19/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-v4.19/drivers/pci/controller/
Dpci-hyperv.c1806 struct pci_bus_relations *relations) in hv_pci_devices_present() argument
1819 (relations->device_count)), GFP_NOWAIT); in hv_pci_devices_present()
1827 dr->device_count = relations->device_count; in hv_pci_devices_present()
1829 memcpy(dr->func, relations->func, in hv_pci_devices_present()
2634 struct pci_bus_relations relations; in hv_pci_bus_exit() local
2646 memset(&relations, 0, sizeof(relations)); in hv_pci_bus_exit()
2647 hv_pci_devices_present(hbus, &relations); in hv_pci_bus_exit()
/Linux-v4.19/tools/memory-model/Documentation/
Dexplanation.txt54 relations used in many models. Starting in Section 13 (AN OPERATIONAL
319 Events in the LKMM can be linked by various relations, which we will
321 of these relations to be orderings, that is, it requires them not to
719 relations; it is not independent. Given a read event R and a write
904 and po-loc relations agree with this global ordering; in other words,
908 relations not to have any cycles. This means it must not be possible
1540 The LKMM also defines the gp and rscs relations. They bring grace
1741 However this cycle is not forbidden, because the sequence of relations
Drecipes.txt550 avoid a counter-intuitive outcome depends on the types of relations
/Linux-v4.19/Documentation/vm/
Dhmm.rst54 complex data set needs to re-map all the pointer relations between each of its
/Linux-v4.19/net/sched/
DKconfig646 the famous u32 key in combination with logic relations.