Home
last modified time | relevance | path

Searched full:contradiction (Results 1 – 6 of 6) sorted by relevance

/linux/Documentation/core-api/real-time/
H A Dkernel-configuration.rst135 - `Real-Time and Graphics: A Contradiction? <https://web.archive.org/web/20221025085614/https://lin…
/linux/LICENSES/preferred/
H A DLGPL-2.0315 operating system. Such a contradiction means you cannot use both them
H A DLGPL-2.1339 operating system. Such a contradiction means you cannot use both them
/linux/tools/lib/bpf/
H A Dbtf.c4922 * - `canon_id` is mapped to different type. This is contradiction in our
4928 * If type graphs traversal exhausts types to check and find no contradiction,
/linux/rust/syn/
H A Dexpr.rs827 /// precedence for `..` than struct init, a contradiction.
/linux/kernel/sched/
H A Dfair.c4622 * Proof: For contradiction assume this is not true, so we can in rescale_entity()