Searched full:modeled (Results 1 – 25 of 89) sorted by relevance
1234
| /linux-6.12.1/tools/memory-model/scripts/ |
| D | judgelitmus.sh | 69 echo '!!! Predicted data race not modeled' $litmus
74 echo '!!! Unexpected data race modeled' $litmus
|
| /linux-6.12.1/tools/memory-model/Documentation/ |
| D | litmus-tests.txt | 60 appears often in the Linux kernel. For example, a flag (modeled by "y"
61 below) indicates that a buffer (modeled by "x" below) is now completely
935 1. Compiler optimizations are not accurately modeled. Of course,
986 3. Exceptions and interrupts are not modeled. In some cases,
1008 b. The "unless" RMW operations are not currently modeled:
1016 modeled by herd7 therefore it can be used in litmus tests.
1018 c. The call_rcu() function is not modeled. As was shown above,
1025 d. The rcu_barrier() function is not modeled. It can be
1031 e. Reader-writer locking is not modeled. It can be
|
| /linux-6.12.1/Documentation/devicetree/bindings/platform/ |
| D | microsoft,surface-sam.yaml | 15 specific functionalities are modeled as subdevices and matched on
|
| /linux-6.12.1/drivers/net/ethernet/intel/e1000e/ |
| D | e1000e_trace.h | 3 /* Modeled on trace-events-sample.h */
|
| /linux-6.12.1/include/linux/spi/ |
| D | mmc_spi.h | 12 * card slot. (Modeled after PXA mmc glue; see that for usage examples.)
|
| /linux-6.12.1/Documentation/devicetree/bindings/usb/ |
| D | usb-nop-xceiv.yaml | 43 GPIO line, this should be modeled as a regulator-fixed and
|
| /linux-6.12.1/drivers/media/usb/gspca/m5602/ |
| D | m5602_sensor.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| D | m5602_s5k83a.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| D | m5602_s5k4aa.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| D | m5602_ov7660.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| D | m5602_mt9m111.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| D | m5602_po1030.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| D | m5602_bridge.h | 11 * v4l2 interface modeled after the V4L2 driver
|
| /linux-6.12.1/Documentation/devicetree/bindings/display/ |
| D | truly,nt35597.txt | 21 are modeled using the OF graph bindings specified in
|
| D | renesas,rzg2l-du.yaml | 55 The connections to the DU output video ports are modeled using the OF
|
| /linux-6.12.1/Documentation/virt/hyperv/ |
| D | vmbus.rst | 15 VMBus is modeled in Linux as a bus, with the expected /sys/bus/vmbus
179 they are best modeled in Linux as per-CPU interrupts. This model works
193 The synic is not modeled in Linux as an irq chip or irq domain,
|
| /linux-6.12.1/Documentation/litmus-tests/ |
| D | README | 57 would be excluded by other code not modeled in the litmus test.
|
| /linux-6.12.1/Documentation/devicetree/bindings/mfd/ |
| D | tc3589x.txt | 46 keys. The linux-specific properties are modeled on those already existing
|
| /linux-6.12.1/drivers/gpu/drm/renesas/rcar-du/ |
| D | rcar_du_group.c | 16 * This would be modeled as two separate DU device instances if it wasn't for
19 * modeled as a single device with three CRTCs, two sets of "semi-global"
|
| /linux-6.12.1/Documentation/mm/ |
| D | multigen_lru.rst | 104 modeled after the PID controller monitors refaults over all the tiers
213 A feedback loop modeled after the Proportional-Integral-Derivative
|
| /linux-6.12.1/Documentation/devicetree/bindings/clock/ |
| D | samsung,exynosautov920-clock.yaml | 17 clocks for different domains. Those CMU units are modeled as separate device
|
| D | google,gs101-clock.yaml | 14 clocks for different domains. Those CMU units are modeled as separate device
|
| D | samsung,exynos7885-clock.yaml | 18 clocks for different domains. Those CMU units are modeled as separate device
|
| /linux-6.12.1/Documentation/devicetree/bindings/soc/qcom/ |
| D | qcom,gsbi.yaml | 15 The GSBI controller is modeled as a node with zero or more child nodes, each
|
| D | qcom,geni-se.yaml | 17 Wrapper controller is modeled as a node with zero or more child nodes each
|
1234