Searched refs:get_temperature (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dtmu.h29 temperature_t (*get_temperature)(ps_tmu_t* tmu); member in struct:ps_tmu
49 if (!d || !d->get_temperature) {
52 return d->get_temperature(d);
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtmu.h29 temperature_t (*get_temperature)(ps_tmu_t* tmu); member in struct:ps_tmu
49 if (!d || !d->get_temperature) {
52 return d->get_temperature(d);
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/
H A Dtmu.c45 dev->get_temperature = get_temperature_millikelvin;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dtmu.c45 dev->get_temperature = get_temperature_millikelvin;

Completed in 34 milliseconds