Searched refs:ps_tmu_get_temperature (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dtmu.h47 static inline temperature_t ps_tmu_get_temperature(ps_tmu_t* d) function
75 return millikelvin_to_millicelcius(ps_tmu_get_temperature(d));
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtmu.h47 static inline temperature_t ps_tmu_get_temperature(ps_tmu_t* d) function
75 return millikelvin_to_millicelcius(ps_tmu_get_temperature(d));

Completed in 85 milliseconds