Lines Matching full:guaranteed

40 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
67         // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`.
72         // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`.
102         // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called
301 // The offset is guaranteed to point to a valid device field inside `platform::Device`.
374         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.
388         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.
401         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.
417         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.
528         // `struct platform_device` as guaranteed by the corresponding C code.