Lines Matching full:safety

22 // SAFETY: We cancel the timer when the handle is dropped. The implementation of
31         // SAFETY: As we got `self_ptr` from a reference above, it must point to
35         // SAFETY: As `timer_ptr` is derived from a reference, it must point to
50 // SAFETY: We capture the lifetime of `Self` when we create a `PinHrTimerHandle`,
68         // SAFETY:
89         // SAFETY: By the safety requirement of this function, `timer_ptr`
93         // SAFETY:
94         //  - By the safety requirement of this function, `timer_ptr`
96         //  - As per the safety requirements of the trait `HrTimerHandle`, the
103         // SAFETY: `receiver_ref` only exists as pinned, so it is safe to pin it
107         // SAFETY: