Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/pensando/ionic/ionic_phc.c ionic_phc_adjfine() -> ionic_setphc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 phc 4096-ptr_max
PARAM_VALUE 0 phc->lif 4096-ptr_max
PARAM_VALUE 0 phc->lif->state 4096-ptr_max
PARAM_VALUE 0 phc->state_page 4096-ptr_max
PARAM_VALUE 0 phc->state_page->sign 2
PARAM_VALUE 0 phc->tc.cc 4096-ptr_max
PARAM_VALUE 0 phc->tc.cc->read 4096-ptr_max
PARAM_VALUE 1 ctx 7988556219620794368
PARAM_VALUE 1 ctx->work.done 0
PARAM_VALUE 1 ctx->work.wait.lock.magic 0
PARAM_VALUE 1 ctx->work.wait.lock.owner 0
PARAM_VALUE 1 ctx->work.wait.lock.owner_cpu 0
PARAM_VALUE 1 ctx->work.wait.task_list.next 0
PARAM_VALUE 1 ctx->work.wait.task_list.prev 0
BIT_INFO 0 phc 0x4fe65d8b2dd55ea0,0xffffffffffffffff
BIT_INFO 0 phc 0x4fe65d8b2dd55ea0,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 phc->tc.cycle_last 0-u64max
LOCK2 irqflags
LOCK2 0 &phc->lock
TYPE_LOCK (struct ionic_phc)->lock

drivers/net/ethernet/pensando/ionic/ionic_phc.c ionic_phc_adjtime() -> ionic_setphc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 phc 4096-ptr_max
PARAM_VALUE 0 phc->lif 4096-ptr_max
PARAM_VALUE 0 phc->lif->state 4096-ptr_max
PARAM_VALUE 0 phc->state_page 4096-ptr_max
PARAM_VALUE 0 phc->state_page->sign 2
PARAM_VALUE 1 ctx 6566889537213800448
PARAM_VALUE 1 ctx->work.done 0
PARAM_VALUE 1 ctx->work.wait.lock.magic 0
PARAM_VALUE 1 ctx->work.wait.lock.owner 0
PARAM_VALUE 1 ctx->work.wait.lock.owner_cpu 0
PARAM_VALUE 1 ctx->work.wait.task_list.next 0
PARAM_VALUE 1 ctx->work.wait.task_list.prev 0
BIT_INFO 0 phc 0x4fe65d8b2dd55ea0,0xffffffffffffffff
BIT_INFO 0 phc 0x4fe65d8b2dd55ea0,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
LOCK2 irqflags
LOCK2 0 &phc->lock
TYPE_LOCK (struct ionic_phc)->lock

drivers/net/ethernet/pensando/ionic/ionic_phc.c ionic_phc_aux_work() -> ionic_setphc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 phc 4096-ptr_max
PARAM_VALUE 0 phc->lif 4096-ptr_max
PARAM_VALUE 0 phc->lif->state 4096-ptr_max
PARAM_VALUE 0 phc->state_page 4096-ptr_max
PARAM_VALUE 0 phc->state_page->sign 2
PARAM_VALUE 0 phc->tc.cc 4096-ptr_max
PARAM_VALUE 0 phc->tc.cc->read 4096-ptr_max
PARAM_VALUE 1 ctx 8037207219717476352
PARAM_VALUE 1 ctx->work.done 0
PARAM_VALUE 1 ctx->work.wait.lock.magic 0
PARAM_VALUE 1 ctx->work.wait.lock.owner 0
PARAM_VALUE 1 ctx->work.wait.lock.owner_cpu 0
PARAM_VALUE 1 ctx->work.wait.task_list.next 0
PARAM_VALUE 1 ctx->work.wait.task_list.prev 0
BIT_INFO 0 phc 0x4fe65d8b2dd55ea0,0xffffffffffffffff
BIT_INFO 0 phc 0x4fe65d8b2dd55ea0,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
HOST_DATA 0 phc->tc.cycle_last 0-u64max
LOCK2 irqflags
LOCK2 0 &phc->lock
TYPE_LOCK (struct ionic_phc)->lock

drivers/net/ethernet/pensando/ionic/ionic_phc.c ionic_phc_settime64() -> ionic_setphc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 phc 4096-ptr_max
PARAM_VALUE 0 phc->cc.read 4096-ptr_max
PARAM_VALUE 0 phc->lif 4096-ptr_max
PARAM_VALUE 0 phc->lif->state 4096-ptr_max
PARAM_VALUE 0 phc->state_page 4096-ptr_max
PARAM_VALUE 0 phc->state_page->frac 0
PARAM_VALUE 0 phc->state_page->sign 2
PARAM_VALUE 0 phc->tc.cc 4096-ptr_max
PARAM_VALUE 0 phc->tc.frac 0
PARAM_VALUE 1 ctx 8045551054392377344
PARAM_VALUE 1 ctx->work.done 0
PARAM_VALUE 1 ctx->work.wait.lock.magic 0
PARAM_VALUE 1 ctx->work.wait.lock.owner 0
PARAM_VALUE 1 ctx->work.wait.lock.owner_cpu 0
PARAM_VALUE 1 ctx->work.wait.task_list.next 0
PARAM_VALUE 1 ctx->work.wait.task_list.prev 0
PREEMPT_ADD <- disables preempt
HOST_DATA 0 phc->tc.cycle_last 0-u64max
USER_DATA 0 phc->tc.nsec 0-8277292035999999999[c]
LOCK2 irqflags
LOCK2 0 &phc->lock
TYPE_LOCK (struct ionic_phc)->lock