Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dax/fsdev.c fsdev_dax_direct_access() -> __fsdev_dax_direct_access()

Type Parameter Key Value
PARAM_VALUE 0 dax_dev 4096-ptr_max
PARAM_VALUE 2 nr_pages 0-s64max
CAPPED_DATA 2 nr_pages 1
CAPPED_DATA 2 nr_pages 1
DATA_SOURCE 0 dax_dev $0
DATA_SOURCE 1 pgoff $1
DATA_SOURCE 2 nr_pages $2
DATA_SOURCE 3 mode $3
DATA_SOURCE 4 kaddr $4
DATA_SOURCE 5 pfn $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pgoff 0-2310346608841064446[c]
USER_DATA 2 nr_pages 1-4503599627370495[c]
HALF_LOCKED2 global &dax_srcu

drivers/dax/fsdev.c fsdev_dax_zero_page_range() -> __fsdev_dax_direct_access()

Type Parameter Key Value
PARAM_VALUE 0 dax_dev 4096-ptr_max
PARAM_VALUE 1 pgoff 0-2305843009213693951
PARAM_VALUE 2 nr_pages 1
PARAM_VALUE 3 mode 0
PARAM_VALUE 4 kaddr 4630919433404604416
PARAM_VALUE 5 pfn 0
DATA_SOURCE 0 dax_dev $0
DATA_SOURCE 1 pgoff $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pgoff 0-4503599627370495[c]
HALF_LOCKED2 global &dax_srcu