Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/thermal_mmio.c thermal_mmio_get_temperature() -> (struct thermal_mmio)->read_mmio()

Type Parameter Key Value
CONTAINER 0 *(-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tz->lock