Lines Matching full:valid

60     /// Ensure CPU starts at a valid frequency from the driver's freq-table.
125 /// A [`PolicyData`] instance always corresponds to a valid C `struct cpufreq_policy_data`.
127 /// The callers must ensure that the `struct cpufreq_policy_data` is valid for access and remains
128 /// valid for the lifetime of the returned reference.
137 /// The caller must ensure that `ptr` is valid for writing and remains valid for the lifetime
143 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in from_raw_mut()
158 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in generic_verify()
169 /// The index must correspond to a valid entry in the [`Table`] it is used for.
178 /// The caller must ensure that `index` correspond to a valid entry in the [`Table`] it is used
181 // INVARIANT: The caller ensures that `index` correspond to a valid entry in the [`Table`]. in new()
199 /// A [`Table`] instance always corresponds to a valid C `struct cpufreq_frequency_table`.
201 /// The callers must ensure that the `struct cpufreq_frequency_table` is valid for access and
202 /// remains valid for the lifetime of the returned reference.
214 /// // SAFETY: Index is a valid entry in the table.
231 /// The caller must ensure that `ptr` is valid for reading and remains valid for the lifetime
237 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in from_raw()
252 // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is in freq()
253 // guaranteed to be valid by its safety requirements. in freq()
262 // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is in flags()
263 // guaranteed to be valid by its safety requirements. in flags()
270 // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is in data()
271 // guaranteed to be valid by its safety requirements. in data()
302 // The pointer is valid until the table gets dropped. in as_raw()
338 /// // SAFETY: Index values correspond to valid entries in the table.
392 /// A [`Policy`] instance always corresponds to a valid C `struct cpufreq_policy`.
394 /// The callers must ensure that the `struct cpufreq_policy` is valid for access and remains valid
422 /// The caller must ensure that `ptr` is valid for reading and remains valid for the lifetime
428 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in from_raw()
437 /// The caller must ensure that `ptr` is valid for writing and remains valid for the lifetime
443 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in from_raw_mut()
457 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in as_ref()
463 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in as_mut_ref()
470 // SAFETY: The C API guarantees that `cpu` refers to a valid CPU number. in cpu()
522 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in generic_suspend()
529 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in generic_get()
537 // SAFETY: By the type invariant, the pointer stored in `self` is valid. in register_em_opp()
544 // SAFETY: The pointer to `cpus` is valid for writing and remains valid for the lifetime of in cpus()
617 // SAFETY: The `freq_table` is guaranteed to be valid for reading and remains valid for the in freq_table()
684 // SAFETY: It is safe to call `cpufreq_cpu_get` for any valid CPU. in from_cpu()
688 // SAFETY: The `ptr` is guaranteed to be valid and remains valid for the lifetime of in from_cpu()
711 // SAFETY: The underlying pointer is guaranteed to be valid for the lifetime of `self`. in drop()
1041 // SAFETY: `drv` is guaranteed to be valid for the lifetime of `Registration`. in new()
1066 /// - The pointer arguments must be valid pointers.
1069 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in init_callback()
1084 /// - The pointer arguments must be valid pointers.
1086 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in exit_callback()
1099 /// - The pointer arguments must be valid pointers.
1102 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in online_callback()
1114 /// - The pointer arguments must be valid pointers.
1117 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in offline_callback()
1129 /// - The pointer arguments must be valid pointers.
1132 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in suspend_callback()
1144 /// - The pointer arguments must be valid pointers.
1147 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in resume_callback()
1159 /// - The pointer arguments must be valid pointers.
1161 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in ready_callback()
1172 /// - The pointer arguments must be valid pointers.
1175 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in verify_callback()
1187 /// - The pointer arguments must be valid pointers.
1190 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in setpolicy_callback()
1202 /// - The pointer arguments must be valid pointers.
1209 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in target_callback()
1221 /// - The pointer arguments must be valid pointers.
1227 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in target_index_callback()
1231 // SAFETY: The C code guarantees that `index` corresponds to a valid entry in the in target_index_callback()
1244 /// - The pointer arguments must be valid pointers.
1249 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in fast_switch_callback()
1266 // SAFETY: The C API guarantees that `cpu` refers to a valid CPU number. in adjust_perf_callback()
1279 /// - The pointer arguments must be valid pointers.
1284 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in get_intermediate_callback()
1288 // SAFETY: The C code guarantees that `index` corresponds to a valid entry in the in get_intermediate_callback()
1300 /// - The pointer arguments must be valid pointers.
1306 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in target_intermediate_callback()
1310 // SAFETY: The C code guarantees that `index` corresponds to a valid entry in the in target_intermediate_callback()
1324 // SAFETY: The C API guarantees that `cpu` refers to a valid CPU number. in get_callback()
1335 /// - The pointer arguments must be valid pointers.
1337 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in update_limits_callback()
1348 /// - The pointer arguments must be valid pointers.
1350 // SAFETY: The C API guarantees that `cpu` refers to a valid CPU number. in bios_limit_callback()
1356 // SAFETY: `limit` is guaranteed by the C code to be valid. in bios_limit_callback()
1366 /// - The pointer arguments must be valid pointers.
1372 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in set_boost_callback()
1384 /// - The pointer arguments must be valid pointers.
1386 // SAFETY: The `ptr` is guaranteed to be valid by the contract with the C code for the in register_em_callback()
1396 // SAFETY: `self.0` is guaranteed to be valid for the lifetime of `Registration`. in drop()