Searched full:safety (Results 1 – 25 of 335) sorted by relevance
12345678910>>...14
58 includes ``// SAFETY:``, ``// TODO:`` and other "tagged" comments, e.g.:88 One special kind of comments are the ``// SAFETY:`` comments. These must appear94 // SAFETY: `p` is valid by the safety requirements.97 ``// SAFETY:`` comments are not to be confused with the ``# Safety`` sections98 in code documentation. ``# Safety`` sections specify the contract that callers99 (for functions) or implementors (for traits) need to abide by. ``// SAFETY:``101 respects the preconditions stated in a ``# Safety`` section or the language124 /// # Safety140 // SAFETY: The safety contract must be upheld by the caller.151 - Unsafe functions must document their safety preconditions under[all …]
68 /// # Safety103 /// # Safety121 /// # Safety140 /// # Safety171 // SAFETY: `layout` is non-zero in size, in alloc_impl()180 // SAFETY: Same as `Allocator::grow`197 // SAFETY: `new_size` is non-zero as `old_size` is greater than or equal to `new_size` in grow_impl()198 // as required by safety conditions. Other conditions must be upheld by the caller in grow_impl()213 // SAFETY: because `new_layout.size()` must be greater than or equal to `old_size`, in grow_impl()216 // `new_ptr`. Thus, the call to `copy_nonoverlapping` is safe. The safety contract in grow_impl()[all …]
95 mov r0, r0 @ safety96 mov r0, r0 @ safety97 mov r0, r0 @ safety99 mov r0, r0 @ safety100 mov r0, r0 @ safety101 mov r0, r0 @ safety
27 /// # Safety32 // INVARIANT: The safety requierments guarantee the type invariants. in from_ptrs()58 // SAFETY: If `len_to_copy` is non-zero, then we know `pos` has not gone past `end` in write_str()
55 // SAFETY: `THIS_MODULE` may be used from all threads within a module.61 /// # Safety73 // SAFETY: FFI call. in panic()
23 // SAFETY: The C contract guarantees that `buf` is valid if it's less than `end`. in rust_fmt_argument()84 /// # Safety118 // SAFETY: This hidden macro should only be called by the documented
186 // SAFETY: due to unchecked casts of unsigned amounts to signed offsets the wraparound in advance_by()191 // SAFETY: the min() above ensures that step_size is in bounds in advance_by()194 // SAFETY: the min() above ensures that step_size is in bounds in advance_by()213 // SAFETY: the caller must guarantee that `i` is in bounds of the in __iterator_get_unchecked()250 // SAFETY: same as for advance_by() in advance_back_by()255 // SAFETY: same as for advance_by() in advance_back_by()259 // SAFETY: same as for advance_by() in advance_back_by()342 // In addition to the SAFETY invariants of the following three unsafe traits
477 /// # Safety622 /// # Safety1204 /// # Safety1234 /// // SAFETY: When `deflateGetDictionary` returns `Z_OK`, it holds that:1260 /// // SAFETY:1514 // SAFETY: Trailing unchecked items must be valid since we never touch them. in retain_mut()1523 // SAFETY: After filling holes, all items are in contiguous memory. in retain_mut()1540 // SAFETY: Unchecked element must be valid. in retain_mut()1546 // SAFETY: We never touch this element again after dropped. in retain_mut()1556 … // SAFETY: `deleted_cnt` > 0, so the hole slot must not overlap with current element. in retain_mut()[all …]
79 description: Eye safety function pulse width limit in microsecond.85 description: Eye safety function load current limit in microamp.117 description: Eye safety function enable control.
40 Specifies the charger's PRECONDITION safety timer setting value in minutes.48 Specifies the charger's total safety timer setting value in hours;
47 description: Maximum charge current in uA; May be clamped to safety limits; Defaults to 1A64 May be clamped to safety limits.117 be done externally to fully comply with the JEITA safety guidelines if this flag
15 * most of the compressed data. There must be enough safety margin to18 * The safety margin for XZ with LZMA2 or BCJ+LZMA2 is calculated below.48 * safety margin for LZMA2.73 * Now we have enough information to calculate the safety margin. We need
35 bool "KASAN: dynamic memory safety error detector"43 Enables KASAN (Kernel Address Sanitizer) - a dynamic memory safety
8 * most of the compressed data. There must be enough safety margin to11 * The safety margin for ZSTD with a 128 KB block size is calculated below.42 * Now we have enough information to calculate the safety margin. We need
45 0x5 0x0 0xe0400000 0x00010000 /* CS5: safety */125 safety@5,0 {126 compatible = "ifm,safety";
28 unsigned long safety; member
26 #define KTD253_T_LOW_NS (200 + 10) /* Additional 10ns as safety factor */27 #define KTD253_T_HIGH_NS (200 + 10) /* Additional 10ns as safety factor */
219 * @safety_timer: charging safety timer256 * ab8500_chargalg_safety_timer_expired() - Expiration of the safety timer259 * This function gets called when the safety timer for the charger267 dev_err(di->dev, "Safety timer expired\n"); in ab8500_chargalg_safety_timer_expired()377 * ab8500_chargalg_start_safety_timer() - Start charging safety timer380 * The safety timer is used to avoid overcharging of old or bad batteries.410 * ab8500_chargalg_stop_safety_timer() - Stop charging safety timer413 * The safety timer is stopped whenever the NORMAL state is exited1263 /* Safety timer expiration */ in ab8500_chargalg_algorithm()1791 /* Initilialize safety timer */ in ab8500_chargalg_probe()
17 CPU/SOC, for thermal safety reasons.
80 * individually. For maximum safety, don't enable any assumptions!82 * For minimal code size and no safety, use ASSUME_PERFECT at your own risk.
32 * This provides SMP safety on the p1275buf.
8 Safety section in Regulator API design notes
207 /* Safety Feature statistics exposed by ethtool */214 /* Number of fields in Safety Stats */414 /* Automotive Safety Package */
38 relying on this code in a safety critical system!
17 generated can be routed to either interrupt a safety controller or
