50     /// # Safety
59         // SAFETY: By the safety requirements ptr is valid  in get_device()
70     /// # Safety
77         // SAFETY: Guaranteed by the safety requirements of the function.  in as_ref()
87         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_emerg()
97         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_alert()
107         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_crit()
117         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_err()
127         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_warn()
137         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_notice()
147         // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_info()
158             // SAFETY: `klevel` is null-terminated, uses one of the kernel constants.  in pr_dbg()
165     /// # Safety
171         // SAFETY: `klevel` is null-terminated and one of the kernel constants. `self.as_raw`  in printk()
187         // SAFETY: By the invariant of `CStr`, `name` is null-terminated.  in property_present()
192 // SAFETY: Instances of `Device` are always reference-counted.
195         // SAFETY: The existence of a shared reference guarantees that the refcount is non-zero.  in inc_ref()
200         // SAFETY: The safety requirements guarantee that the refcount is non-zero.  in dec_ref()
205 // SAFETY: As by the type invariant `Device` can be sent to any thread.
208 // SAFETY: `Device` can be shared among threads because all immutable methods are protected by the