Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timekeeping.c get_device_system_crosststamp() -> get_device_system_crosststamp param 0()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 1 system 4096-ptr_max
BUF_SIZE 2 ctx s32min-(-1),1-s32max
BUF_SIZE 2 ctx s32min-(-1),1-s32max
DATA_SOURCE 2 ctx $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 *device s64min-s64max
HOST_DATA 1 system->cycles 0-u64max
HOST_DATA 2 ctx->snapshot.cycles s64min-s64max
HALF_LOCKED2 &adapter->ptm_lock