Defined in 1 files as a prototype:

Defined in 3 files as a member:

Defined in 3 files as a function:

Referenced in 52 files:

Smatch caller information:

kernel/power/swap.c flush_swap_writer() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 18379471554275704832,18446612682070032384
PARAM_VALUE 1 vio 1-u64max
PARAM_VALUE 2 hb 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &autosleep_lock

kernel/power/swap.c swap_write_page() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 18379471554275704832,18446612682070032384
PARAM_VALUE 1 vio 1-u64max
PARAM_VALUE 2 hb 4526766698703532032,4539563694304731136
PARAM_VALUE 2 hb->error 0
PARAM_VALUE 2 hb->plug.cb_list.next 4096-ptr_max
PARAM_VALUE 2 hb->plug.cb_list.prev 4096-ptr_max
PARAM_VALUE 2 hb->plug.nr_ios 1-32
DATA_SOURCE 2 hb $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &autosleep_lock

kernel/power/swap.c swap_write_page() -> write_page()

Type Parameter Key Value
PARAM_VALUE 2 hb 0,4526766698703532032,4539563694304731136
PARAM_VALUE 2 hb->error 0
PARAM_VALUE 2 hb->plug.cb_list.next 4096-ptr_max
PARAM_VALUE 2 hb->plug.cb_list.prev 4096-ptr_max
PARAM_VALUE 2 hb->plug.nr_ios 1-32
DATA_SOURCE 0 log $1
DATA_SOURCE 1 vio r alloc_swapdev_block
DATA_SOURCE 2 hb $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &autosleep_lock

drivers/md/dm-vdo/block-map.c finish_page_write() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->writing 0
PARAM_VALUE 1 vio 4096-ptr_max
PARAM_VALUE 1 vio->context 4096-ptr_max
BUF_SIZE 0 log (-1),8-s32max
BUF_SIZE 0 log (-1),8-s32max
CAPPED_DATA 0 log 1
PARAM_COMPARE 0 log->generation != $0->writing_generation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c finish_page_write() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 1 vio 4096-ptr_max
PARAM_VALUE 1 vio->context 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c write_page_callback() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
BUF_SIZE 1 vio (-1),4,8-s32max
DATA_SOURCE 1 vio $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/tests/nandbiterrs.c incremental_errors_test() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 1

drivers/mtd/tests/nandbiterrs.c overwrite_test() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 1

drivers/mtd/tests/nandbiterrs.c overwrite_test() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 0

Smatch assignments to (struct phy_driver)->write_page:

drivers/net/phy/vitesse.c (null)() -> (struct phy_driver)->write_page [0,1232219958034763776]

drivers/net/phy/nxp-c45-tja11xx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/qsemi.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/mediatek/mtk-2p5ge.c (null)() -> (struct phy_driver)->write_page [2681708577824251904]

drivers/net/phy/xilinx_gmii2rgmii.c xgmiitorgmii_probe() -> (struct phy_driver)->write_page [0]

drivers/net/phy/motorcomm.c (null)() -> (struct phy_driver)->write_page [0,622654601326198784,3593667823340548096]

drivers/net/phy/qcom/qca807x.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/smsc.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dp83640.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/bcm54140.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/ste10Xp.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/aquantia/aquantia_main.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dap8211r.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/marvell-88q2xxx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/mediatek/mtk-ge.c (null)() -> (struct phy_driver)->write_page [2681708577824251904]

drivers/net/phy/dp83tc811.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/marvell10g.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/uPD60620.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/broadcom.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/qcom/qca808x.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dp83822.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/marvell-88x2222.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/bcm-cygnus.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/micrel.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/mxl-86110.c (null)() -> (struct phy_driver)->write_page [0,6841465664042680320]

drivers/net/phy/amd.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/microchip_t1.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dp83tg720.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/cortina.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/lxt.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/adin.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/microchip_t1s.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/cicada.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/mediatek/mtk-ge-soc.c (null)() -> (struct phy_driver)->write_page [0,2681708577824251904]

drivers/net/phy/phy_device.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/et1011c.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/as21xxx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/realtek/realtek_main.c (null)() -> (struct phy_driver)->write_page [0,3143116292935995392]

drivers/net/phy/qcom/qca83xx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dp83869.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/nxp-tja11xx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/icplus.c (null)() -> (struct phy_driver)->write_page [0,8837239446204301312,9040238349069406208]

drivers/net/phy/rockchip.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/marvell.c (null)() -> (struct phy_driver)->write_page [0,7521743836531941376]

drivers/net/phy/teranetics.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/ncn26000.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/national.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/adin1100.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dp83848.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/davicom.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/ax88796b.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/air_an8801.c (null)() -> (struct phy_driver)->write_page [8196255445442531328]

drivers/net/phy/meson-gxl.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/mscc/mscc_main.c (null)() -> (struct phy_driver)->write_page [6538802318413586432]

drivers/net/phy/nxp-cbtx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/microchip.c (null)() -> (struct phy_driver)->write_page [0,4595795043850641408]

drivers/net/phy/air_en8811h.c (null)() -> (struct phy_driver)->write_page [8196255445442531328]

drivers/net/phy/dp83867.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/adin1140-phy.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/qcom/at803x.c (null)() -> (struct phy_driver)->write_page [0,7685116364360536064]

drivers/net/phy/bcm87xx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/bcm7xxx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/intel-xway.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/bcm63xx.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/dp83td510.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/mxl-gpy.c (null)() -> (struct phy_driver)->write_page [0]

drivers/net/phy/bcm84881.c (null)() -> (struct phy_driver)->write_page [0]