Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/char/agp/backend.c agp_backend_initialize() -> (struct agp_bridge_driver)->create_gatt_table()

Type Parameter Key Value
PARAM_VALUE 0 bridge 4096-ptr_max
PARAM_VALUE 0 bridge->agp_in_use.counter 0
PARAM_VALUE 0 bridge->current_memory_agp.counter 0
PARAM_VALUE 0 bridge->dev 4096-ptr_max
PARAM_VALUE 0 bridge->dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 bridge->dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 bridge->dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 bridge->dev->driver 4096-ptr_max
PARAM_VALUE 0 bridge->driver 4096-ptr_max
PARAM_VALUE 0 bridge->driver->agp_alloc_page 3179124859014893568
PARAM_VALUE 0 bridge->driver->agp_alloc_pages 8413373212967698432
PARAM_VALUE 0 bridge->driver->agp_destroy_page 5603614923736571904
PARAM_VALUE 0 bridge->driver->agp_destroy_pages 8216089531446030336
PARAM_VALUE 0 bridge->driver->agp_enable 132169650925666304,1652275033910611968,7127077001850998784
PARAM_VALUE 0 bridge->driver->agp_type_to_mask_type 0,8729320734726823936
PARAM_VALUE 0 bridge->driver->alloc_by_type 4091096786118197248,8845223244609933312
PARAM_VALUE 0 bridge->driver->aperture_sizes 4096-ptr_max
PARAM_VALUE 0 bridge->driver->cache_flush 4812578517719113728
PARAM_VALUE 0 bridge->driver->cant_use_aperture 0
PARAM_VALUE 0 bridge->driver->cleanup 4096-ptr_max
PARAM_VALUE 0 bridge->driver->create_gatt_table 5749857581575372800,6363216739704197120
PARAM_VALUE 0 bridge->driver->fetch_size 4096-ptr_max
PARAM_VALUE 0 bridge->driver->free_by_type 5355362683191943168,7253442958661484544
PARAM_VALUE 0 bridge->driver->free_gatt_table 4570348592343060480,4918718298872885248
PARAM_VALUE 0 bridge->driver->insert_memory 4861146053593571328,5564645589655916544,6680016805334417408
PARAM_VALUE 0 bridge->driver->mask_memory 0,7931743444827578368
PARAM_VALUE 0 bridge->driver->masks 0,5530499093669593088
PARAM_VALUE 0 bridge->driver->num_aperture_sizes 2,4-5,7,9-11
PARAM_VALUE 0 bridge->driver->owner 0
PARAM_VALUE 0 bridge->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 bridge->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 bridge->driver->remove_memory 2173968423305633792,8923903936325771264
PARAM_VALUE 0 bridge->driver->size_type 0-2,4
PARAM_VALUE 0 bridge->driver->tlb_flush 0,4096-ptr_max
PARAM_VALUE 0 bridge->version 2813362731895480320
BUF_SIZE 0 bridge 272
BUF_SIZE 0 bridge->dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 bridge->driver (-1),184
BUF_SIZE 0 bridge->version 4
DATA_SOURCE 0 bridge $0
CONTAINER 0 -96-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bridge->dev->current_state 0-3[c]
HOST_DATA 0 bridge->major_version 0[c]
HOST_DATA 0 bridge->minor_version 0[c]
HOST_DATA 0 bridge->mode 0
HALF_LOCKED2 &pool->lock