Defined in 1 files as a function:

Referenced in 20 files:

Smatch caller information:

arch/x86/xen/time.c xen_pvclock_gtod_notify() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 6426847395987357696
PARAM_VALUE 1 rhs 6373176356333338624

drivers/net/phy/nxp-c45-tja11xx.c nxp_c45_do_aux_work() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4240134391471202304
PARAM_VALUE 1 rhs 4096-ptr_max
NO_OVERFLOW_SIMPLE 0 lhs->tv_sec

fs/vboxsf/utils.c vboxsf_inode_revalidate() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 3474737688814657536
PARAM_VALUE 1 rhs 8774631690027003904
RX_PATH
TASK_NOT_RUNNING

fs/inode.c inode_set_ctime_current() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 2092815362887208960
PARAM_VALUE 1 rhs 6346730220341878784
PARAM_VALUE 1 rhs->tv_nsec 0-s32max

fs/inode.c inode_set_ctime_deleg() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 1 rhs 5757353910810271744
PARAM_VALUE 1 rhs->tv_nsec 0-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &root->kernfs_iattr_rwsem

fs/inode.c inode_set_ctime_deleg() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 6463605692901888000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &root->kernfs_iattr_rwsem

fs/inode.c relatime_need_update() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 7066664967746568192
PARAM_VALUE 1 rhs 3344959318271234048
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

fs/inode.c relatime_need_update() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 2903026121228734464
PARAM_VALUE 1 rhs 3344959318271234048
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/etnaviv/etnaviv_gpu.c etnaviv_timeout_to_jiffies() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4193253683663474688
PARAM_VALUE 1 rhs 8159498344588443648
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
USER_DATA 0 lhs->tv_nsec s64min-s64max[u]
USER_DATA 0 lhs->tv_sec s64min-s64max[u]

fs/nfsd/nfs4state.c nfsd4_vet_deleg_time() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 4096-ptr_max
DATA_SOURCE 0 lhs $0
DATA_SOURCE 1 rhs $1

fs/nfsd/nfs4state.c nfsd4_vet_deleg_time() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 1867960903997825024,6093561025980239872
CAPPED_DATA 0 lhs->tv_sec 1
DATA_SOURCE 0 lhs $0
DATA_SOURCE 1 rhs $2

drivers/net/ethernet/intel/igc/igc_main.c is_base_time_past() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 629613016903626752,6041611060171046912
PARAM_VALUE 0 lhs->tv_nsec 0-4294967295
PARAM_VALUE 0 lhs->tv_sec 0-4294967295
PARAM_VALUE 1 rhs 7868078631814356992
DATA_SOURCE 0 lhs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 lhs->tv_nsec 0-4294967295
HOST_DATA 0 lhs->tv_sec 0-4294967295
HALF_LOCKED2 &adapter->qbv_tx_lock
HALF_LOCKED2 flags

drivers/hv/hv_util.c hv_implicit_sync() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1791959504152399872
PARAM_VALUE 1 rhs 7620469527666794496
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &channel->sched_lock
HALF_LOCKED2 rcu_read

net/ceph/messenger.c ceph_con_keepalive_expired() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 7725183978639695872
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 8056200097567711232
LOCK2 &monc->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_mon_client)->mutex

drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_send_times() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1810948042907385856
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 898311751306932224
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_send_times() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1810948042907385856
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 3937379494457274368
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_send_times() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1810948042907385856
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 898311751306932224
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING

fs/smb/client/dfs_cache.c cache_entry_expired() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 6793894194862194688
PARAM_VALUE 1 rhs 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &htable_rw_lock
HALF_LOCKED2 &m->lock

fs/smb/client/dfs_cache.c purge_cache() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &htable_rw_lock
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/sfc/ptp.c efx_ptp_send_times() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1928205838277611520
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 7477057572107808768
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/ptp.c efx_ptp_send_times() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1928205838277611520
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 2541383944066576384
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/ptp.c efx_ptp_send_times() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1928205838277611520
PARAM_VALUE 0 lhs->tv_nsec 0-999999999
PARAM_VALUE 1 rhs 7477057572107808768
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING

lib/kunit/test.c kunit_run_case_check_speed() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 1 rhs 1141796075238932480

kernel/time/timekeeping.c __timekeeping_inject_offset() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 3251730928194809856,4799945133014433888,8567817013933215840
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
DATA_SOURCE 1 rhs $1
USER_DATA 1 rhs->tv_nsec 0-999999999
USER_DATA 1 rhs->tv_sec s64min-s64max
LOCK2 irq
HALF_LOCKED2 &tkd->lock

kernel/time/timekeeping.c do_settimeofday64() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 7993997016906715592
PARAM_VALUE 1 rhs 8257628985194160128
LOCK2 irq

kernel/time/timekeeping.c timekeeping_init() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1671044568705347584
PARAM_VALUE 1 rhs 4554601814197190656
NO_OVERFLOW_SIMPLE 0 lhs->tv_sec
LOCK2 irq

kernel/time/timekeeping.c timekeeping_resume() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1704474395366309888
PARAM_VALUE 0 lhs->tv_nsec 0
PARAM_VALUE 0 lhs->tv_sec 0
PARAM_VALUE 1 rhs 6426806278767771648
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 global &tick_freeze_lock
HALF_LOCKED2 irq

fs/ceph/inode.c ceph_fill_file_time() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 688744633037217792,819632176212725760
PARAM_VALUE 0 lhs->tv_nsec 0-4294967295
PARAM_VALUE 0 lhs->tv_sec 0-4294967295
PARAM_VALUE 1 rhs 1458060236221001728
DATA_SOURCE 0 lhs $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem

fs/ceph/inode.c ceph_fill_file_time() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1937570156278906880,3802617356581793792
PARAM_VALUE 0 lhs->tv_nsec 0-4294967295
PARAM_VALUE 0 lhs->tv_sec 0-4294967295
PARAM_VALUE 1 rhs 8059979093936021504
DATA_SOURCE 0 lhs $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem

fs/ceph/inode.c ceph_fill_file_time() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4254510234237165568,6137726269368557568
PARAM_VALUE 0 lhs->tv_nsec 0-4294967295
PARAM_VALUE 0 lhs->tv_sec 0-4294967295
PARAM_VALUE 1 rhs 2574858014799376384
DATA_SOURCE 0 lhs $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem

fs/smb/client/file.c cifs_rreq_done() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1903834199276224512
PARAM_VALUE 1 rhs 4303419977652015104
RX_PATH
TASK_NOT_RUNNING

fs/gfs2/glops.c gfs2_dinode_in() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 5450351204357427200
PARAM_VALUE 1 rhs 1420053394644955136
PARAM_VALUE 1 rhs->tv_nsec 0-4294967295
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rgd->rd_mutex
HALF_LOCKED2 &rs->rs_rgd->rd_mutex

fs/ocfs2/file.c ocfs2_should_update_atime() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1633171876287635456
PARAM_VALUE 1 rhs 3436266103630360576
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/ocfs2/file.c ocfs2_should_update_atime() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 1633171876287635456
PARAM_VALUE 1 rhs 8762622253651144704
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

drivers/gpu/drm/etnaviv/etnaviv_gem.c etnaviv_timeout_to_jiffies() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 5031532652353327104
PARAM_VALUE 1 rhs 7513496394639646720
PARAM_VALUE 1 rhs->tv_nsec 0-999999999
USER_DATA 0 lhs->tv_nsec s64min-s64max[u]
USER_DATA 0 lhs->tv_sec s64min-s64max[u]

fs/smb/client/inode.c cifs_fattr_to_inode() -> timespec64_compare()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 1 rhs 4096-ptr_max
MEM_ZERO 0 lhs
MEM_ZERO 1 rhs
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &inode->i_lock
TYPE_LOCK (struct inode)->i_lock