| /linux/drivers/net/wireless/broadcom/brcm80211/brcmsmac/ |
| H A D | mac80211_if.c | 284 * precondition: can both be called locked and unlocked 329 * precondition: perimeter lock is not acquired. 350 * Precondition: Since this function is called in brcms_pci_probe() context, 363 * Precondition: Since this function is called in brcms_pci_probe() context, 1347 * precondition: perimeter lock has been acquired 1356 * precondition: perimeter lock has been acquired 1367 * precondition: perimeter lock has been acquired 1425 * precondition: perimeter lock has been acquired 1440 * precondition: perimeter lock has been acquired 1463 * precondition: perimeter lock is not acquired [all …]
|
| H A D | aiutils.c | 567 * precondition: we've established the chip has dynamic clk control
|
| /linux/rust/kernel/debugfs/ |
| H A D | file_ops.rs | 98 // * `file` is acceptable by caller precondition. 116 // SAFETY: By caller precondition, this pointer is valid pointer to a `T`, and 119 // SAFETY: By caller precondition, `seq_file` points to a live `seq_file`, so we can lift 172 // SAFETY: By caller precondition, this pointer is live and points to a value of type `T`.
|
| /linux/drivers/i2c/busses/ |
| H A D | i2c-aspeed.c | 173 /* precondition: bus.lock has been acquired. */ 367 /* precondition: bus.lock has been acquired. */ 400 /* precondition: bus.lock has been acquired. */ 750 /* precondition: bus.lock has been acquired. */ 910 /* precondition: bus.lock has been acquired. */ 927 /* precondition: bus.lock has been acquired. */
|
| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | test_sockmap_ktls.c | |
| /linux/include/kunit/ |
| H A D | try-catch.h | 34 * assertions. Assertions allow stating a precondition for a test simplifying
|
| /linux/arch/x86/hyperv/ |
| H A D | hv_trampoline.S | 24 * PreCondition (ie, Hypervisor call back ABI):
|
| /linux/rust/zerocopy/src/ |
| H A D | byte_slice.rs | 118 // we can be sure that the above precondition remains satisfied in split_at() 336 // SAFETY: By precondition on caller, `mid` is not greater than in split_at_unchecked() 356 // SAFETY: By precondition on caller, `mid` is not greater than in split_at_unchecked()
|
| H A D | split_at.rs | 99 // SAFETY: By precondition on the caller, `l_len <= self.len()`. in split_at_unchecked() 184 // SAFETY: By precondition on the caller, `l_len <= self.len()`. in split_at_mut_unchecked()
|
| H A D | layout.rs | 640 // Precondition in validate_cast_and_convert_metadata() 655 // a multiple of the alignment (and by safety precondition, we know in validate_cast_and_convert_metadata() 668 // precondition of this method. Modulus is guaranteed not to divide in validate_cast_and_convert_metadata()
|
| /linux/drivers/staging/greybus/ |
| H A D | arche-apb-ctrl.c | 437 * Also, need to make sure we meet precondition for unipro suspend in arche_apb_ctrl_suspend() 438 * Precondition: Definition ??? in arche_apb_ctrl_suspend()
|
| /linux/drivers/usb/misc/ |
| H A D | ehset.c | 42 * test command. Most hubs don't enforce this precondition, but there in ehset_prepare_port_for_testing()
|
| /linux/rust/syn/ |
| H A D | attr.rs | 57 /// example `#[derive(Copy)]` or `#[precondition(x < 5)]`. 213 /// #[precondition(value < 5)] 216 /// if attr.path().is_ident("precondition") { 217 /// let precondition: Expr = attr.parse_args()?;
|
| /linux/drivers/media/platform/st/sti/delta/ |
| H A D | delta.h | 284 * Precondition: stream header must have been successfully 300 * Precondition: get_streaminfo() must be successful
|
| /linux/drivers/usb/host/ |
| H A D | fhci-q.c | 212 * Precondition: irqsafe(only for urb-?status locking)
|
| /linux/drivers/net/usb/ |
| H A D | usbnet.c | 801 // precondition: never called in_interrupt 892 // precondition: never called in_interrupt 1658 // precondition: never called in_interrupt 1715 // precondition: never called in_interrupt
|
| /linux/arch/arm/boot/dts/microchip/ |
| H A D | at91-sama5d2_xplained.dts | 312 active-semi,precondition-timeout = <40>;
|
| /linux/sound/hda/codecs/hdmi/ |
| H A D | intelhdmi.c | 579 /* precondition and allocation for Intel codecs */
|
| /linux/lib/zstd/compress/ |
| H A D | zstd_ldm.c | 95 * Precondition: The splits array must not be full.
|
| /linux/lib/zstd/decompress/ |
| H A D | zstd_decompress_block.c | 802 * Precondition: *ip <= *op 1014 assert(op != NULL /* Precondition */); in ZSTD_execSequence() 1112 assert(op != NULL /* Precondition */); in ZSTD_execSequenceSplitLitBuffer()
|
| H A D | huf_decompress.c | 769 * previous one. This indicates corruption, and a precondition in HUF_decompress4X1_usingDTable_internal_fast_c_loop() 1587 * previous one. This indicates corruption, and a precondition in HUF_decompress4X2_usingDTable_internal_fast_c_loop()
|
| /linux/drivers/block/xen-blkback/ |
| H A D | xenbus.c | 812 * Enforce precondition before potential leak point. in frontend_changed()
|
| /linux/rust/zerocopy/src/pointer/ |
| H A D | inner.rs | 721 // which will fail, here, in miri, if the safety precondition of in test_trailing_slice()
|
| /linux/rust/kernel/ |
| H A D | str.rs | 345 // guaranteed by the safety precondition and `CStr` has the same layout as `&[u8]` (this is in to_cstring()
|
| /linux/rust/zerocopy/src/util/ |
| H A D | mod.rs | 418 // check ensures their shared safety precondition: that the supplied in new_box()
|