Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

fs/proc/stat.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6766911912172748800
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &p->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/phy/nxp-c45-tja11xx.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4934128181207375872
NOCHECK_CALL
LOCK2 &priv->ptp_lock
TYPE_LOCK (struct nxp_c45_phy)->ptp_lock

drivers/net/ethernet/qualcomm/rmnet/rmnet_map_data.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8824628274038943744
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->agg_lock
LOCK2 bh
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct rmnet_port)->agg_lock

kernel/time/ntp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8918680238554705920
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/inode.c inode_set_ctime_to_ts() -> set_normalized_timespec64()

Type Parameter Key Value
NOCHECK_CALL

drivers/net/ethernet/intel/ice/ice_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 5893129173383143424
NOCHECK_CALL

drivers/gpu/drm/etnaviv/etnaviv_gpu.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 7063758781198389248
NOCHECK_CALL

sound/core/seq/seq_timer.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 5153895749014233088
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tmr->lock
LOCK2 irq
TYPE_LOCK (struct snd_seq_timer)->lock

drivers/rtc/class.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 7409836120882196480
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsm->lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2942397069859467264
NOCHECK_CALL

lib/math/test_div64.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 3807454222105956352
NOCHECK_CALL

drivers/gpu/drm/panthor/panthor_drv.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4987333254380527616
NOCHECK_CALL

drivers/net/ethernet/intel/igc/igc_main.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6376256888019988480
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &adapter->tmreg_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct igc_adapter)->tmreg_lock

drivers/mmc/core/mmc_test.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6916624338026450944
NOCHECK_CALL
LOCK2 global &mmc_test_lock

net/ceph/messenger.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4925033977761845248
NOCHECK_CALL
LOCK2 &monc->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_mon_client)->mutex

drivers/net/ethernet/sfc/siena/ptp.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 7077953726063243264
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/intel/i40e/i40e_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 3139371209180061696
NOCHECK_CALL
LOCK2 &pf->tmreg_lock
TYPE_LOCK (struct i40e_pf)->tmreg_lock

drivers/net/ethernet/intel/igb/igb_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2644599242244804608
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &igb->tmreg_lock
LOCK2 flags
TYPE_LOCK (struct igb_adapter)->tmreg_lock

fs/smb/client/dfs_cache.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1931282548676927488
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &htable_rw_lock
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/sfc/ptp.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1672137359775715328
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/cadence/macb_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 119583433585233920
NOCHECK_CALL

drivers/net/ethernet/mscc/ocelot_ptp.c ocelot_ptp_gettime64() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
PARAM_VALUE 1 sec 0-281474976710655
PARAM_VALUE 2 nsec 0-1073741807,1073741824-4294967295
DATA_SOURCE 0 ts $1
FUZZY_MAX 2 nsec 1073741824
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ts->tv_sec
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags

kernel/time/namespace.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1979982605245935616
NOCHECK_CALL

drivers/ptp/ptp_ocp.c ptp_ocp_adjtime_coarse() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8351528812841119744
PARAM_VALUE 0 ts->tv_nsec 0-4294967295
PARAM_VALUE 0 ts->tv_sec 0-4294967295
PARAM_VALUE 1 sec 0-4294967295
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
HOST_DATA 0 ts->tv_nsec 0-4294967295
HOST_DATA 0 ts->tv_sec 0-4294967295
HOST_DATA 1 sec 0-4294967295
LOCK2 &bp->lock
LOCK2 flags
TYPE_LOCK (struct ptp_ocp)->lock

drivers/net/phy/micrel.c lan8841_ptp_getseconds() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1469123681217703936
PARAM_VALUE 2 nsec 0
DATA_SOURCE 0 ts $1
NOCHECK_CALL

drivers/net/phy/micrel.c lan8841_ptp_gettime64() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
PARAM_VALUE 2 nsec s32min-s32max
DATA_SOURCE 0 ts $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ts->tv_sec
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags

lib/kunit/test.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6787001975149838336
NOCHECK_CALL

kernel/time/timekeeping.c ktime_get_coarse_ts64() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1406722512679936000,1529744414343712768,2256598480787394560,2317135252460216320,3479165942366920704,5199422118372904960,5919573718482604032,7362699274171125760
DATA_SOURCE 0 ts $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &applespi->cmd_msg_lock
HALF_LOCKED2 &c->walk_control_lock
HALF_LOCKED2 irq

kernel/time/timekeeping.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2715402888407085056
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/time/timekeeping.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 3857663376734846976
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/time/timekeeping.c tk_set_wall_to_mono() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1663733721869410304
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/time/timekeeping.c tk_set_wall_to_mono() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1663733721869410304
PARAM_VALUE 0 ts->tv_nsec 0-s64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/net/ethernet/intel/igb/igb_main.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 7133258711666155520
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &adapter->tmreg_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct igb_adapter)->tmreg_lock

kernel/time/posix-timers.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6723616210476126208
NOCHECK_CALL

fs/smb/server/connection.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6444602397778300928
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
LOCK2 global &conn_list_lock
TYPE_LOCK (struct seq_file)->lock

drivers/pci/endpoint/functions/pci-epf-test.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 5040076270217633792
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/time/time.c timespec64_add_safe() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4674051752798187520
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/misc/usbtest.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 7264041919269494784
NOCHECK_CALL
LOCK2 &dev->dev.mutex
LOCK2 &dev->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct usbtest_dev)->lock

net/socket.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8501862112278941696
NOCHECK_CALL

drivers/net/ethernet/microchip/lan966x/lan966x_ptp.c lan966x_ptp_gettime64() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
PARAM_VALUE 2 nsec 0-1073741823
DATA_SOURCE 0 ts $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 sec s64min-s64max
HOST_DATA 2 nsec 0-1073741823[c]
NO_OVERFLOW_SIMPLE 0 ts->tv_sec
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags

drivers/ptp/ptp_clock.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2947301382101749760
NOCHECK_CALL

drivers/gpu/drm/etnaviv/etnaviv_gem.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 9089227213188005888
NOCHECK_CALL

fs/select.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4859368765299503104
NOCHECK_CALL

kernel/time/alarmtimer.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4459626918260375552
NOCHECK_CALL

kernel/sys.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 231574539716349952
NOCHECK_CALL

drivers/net/phy/microchip_rds_ptp.c mchp_rds_ptp_ltc_gettime64() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
PARAM_VALUE 2 nsec 0-s32max
DATA_SOURCE 0 ts $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ts->tv_sec
LOCK2 &clock->ptp_lock
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct mchp_rds_ptp_clock)->ptp_lock

drivers/scsi/fnic/fnic_trace.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 31174344542887936
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/intel/igc/igc_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 3158955884321566720
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &igc->tmreg_lock
LOCK2 flags
TYPE_LOCK (struct igc_adapter)->tmreg_lock

drivers/net/ethernet/microchip/sparx5/sparx5_ptp.c sparx5_ptp_gettime64() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
PARAM_VALUE 2 nsec 0-1073741823
DATA_SOURCE 0 ts $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 sec s64min-s64max
HOST_DATA 2 nsec 0-1073741823[c]
NO_OVERFLOW_SIMPLE 0 ts->tv_sec
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags

drivers/net/ethernet/intel/idpf/idpf_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 3301064392006172672
NOCHECK_CALL

arch/x86/kernel/pvclock.c pvclock_read_wallclock() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 1671044568705347584,1704474395366309888,6426806278767771648,8136178312030920704
PARAM_VALUE 2 nsec 0-999999999
CAPPED_DATA 2 nsec 1
CAPPED_DATA 2 nsec 1
DATA_SOURCE 0 ts $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/proc/uptime.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 4802719975844753408
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/dsa/microchip/ksz_ptp.c timespec64_add() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 5587773221667979264
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &ptp_data->clock_lock
LOCK2 &ptp_data->lock
LOCK2 bh
TYPE_LOCK (struct ksz_ptp_data)->clock_lock
TYPE_LOCK (struct ksz_ptp_data)->lock

drivers/net/dsa/microchip/ksz_ptp.c timespec64_sub() -> set_normalized_timespec64()

Type Parameter Key Value
PARAM_VALUE 0 ts 900469151248240640
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL