Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/liveupdate/luo_file.c liveupdate_register_file_handler() -> liveupdate_test_register()

Type Parameter Key Value
PARAM_VALUE 0 fh 1665255842022191104
PARAM_VALUE 0 fh->flb_list.next 1665255842022191176
PARAM_VALUE 0 fh->flb_list.next->next 1665255842022191176
PARAM_VALUE 0 fh->flb_list.prev 1665255842022191176
PARAM_VALUE 0 fh->flb_list.prev->next 1665255842022191176
PARAM_VALUE 0 fh->flb_list.prev->prev 1665255842022191176
PARAM_VALUE 0 fh->list.next 4096-ptr_max
PARAM_VALUE 0 fh->list.next->next 1665255842022191160
PARAM_VALUE 0 fh->list.prev->next 1665255842022191160
PARAM_VALUE 0 fh->list.prev->prev 1665255842022191160
PARAM_VALUE 0 fh->ops 4096-ptr_max
PARAM_VALUE 0 fh->ops->can_preserve 395204163115651072
PARAM_VALUE 0 fh->ops->finish 25882252275732480
PARAM_VALUE 0 fh->ops->preserve 1123826905322184704
PARAM_VALUE 0 fh->ops->retrieve 110572240414941184
PARAM_VALUE 0 fh->ops->unpreserve 4752855315091836928
DATA_SOURCE 0 fh $0
NOCHECK_CALL