Lines Matching refs:allowed
93 permissive, in the sense that any behavior allowed by one of these
94 architectures also has to be allowed by the LKMM.
357 source code to object code. They are allowed to apply transformations
508 properties of READ_ONCE() -- but it is allowed to ignore the load's
1787 allowed by the LKMM, as we would expect.
1826 rcu-rscsi (two). Consequently the outcome is allowed by the LKMM.
1846 program order, but of course they are allowed to do so. And as you
2103 Then the CPU would be allowed to forward the s = 1 value from the
2230 In technical terms, the compiler is allowed to assume that when the
2356 allowed to apply fancy transformations to marked accesses, and
2366 limitations. For one, it is not allowed to introduce a data race into
2471 allowed to put plain loads of the same location into the object code.
2476 the compiler is theoretically allowed to generate object code that
2494 adding in a store to the same location -- is not allowed. This is
2667 not allowed (i.e., a load cannot read from a store that it
2672 not allowed (i.e., if a store is visible to a load then the
2677 is not allowed (i.e., if one store is visible to a second then
2782 what does the LKMM have to say? Answer: It says there are no allowed