Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/exfat/super.c __exfat_fill_super() -> exfat_free_bitmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->FAT1_start_sector | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->FAT2_start_sector | 0-8589934590 |
| PARAM_VALUE | 0 | sbi->clu_srch_ptr | 2 |
| PARAM_VALUE | 0 | sbi->cluster_size | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->cluster_size_bits | 9-28 |
| PARAM_VALUE | 0 | sbi->data_start_sector | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->dentries_per_clu | 1-4294967295 |
| PARAM_VALUE | 0 | sbi->map_clu | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->map_sectors | 1-8388608 |
| PARAM_VALUE | 0 | sbi->num_FAT_sectors | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->num_clusters | 3-4294967295 |
| PARAM_VALUE | 0 | sbi->root_dir | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->sect_per_clus | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->sect_per_clus_bits | 0-16 |
| PARAM_VALUE | 0 | sbi->vol_flags | 0-u16max |
| PARAM_VALUE | 0 | sbi->vol_flags_persistent | 0,2-6 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| CAPPED_DATA | 0 | sbi->root_dir | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/exfat/super.c exfat_fill_super() -> exfat_free_bitmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->nls_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sbi->options.allow_utime | 0-65534 |
| BUF_SIZE | 0 | sbi | 1-s32max |
| BUF_SIZE | 0 | sbi | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/exfat/super.c exfat_put_super() -> exfat_free_bitmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->boot_bh->b_data->vol_flags | 0-u16max |
| PARAM_VALUE | 0 | sbi->boot_bh->b_folio->mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->boot_bh->b_folio->mapping->host->i_state.__state | 0-4294967295 |
| PARAM_VALUE | 0 | sbi->s_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->s_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sbi->s_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sbi->s_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sbi->s_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->s_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sbi->s_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sbi->vol_flags | 0-u16max |
| BUF_SIZE | 0 | sbi | (-1),4416 |
| BUF_SIZE | 0 | sbi | (-1),4416 |
| CAPPED_DATA | 0 | &sbi->s_lock | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sbi | unit_byte |
| LOCK2 | 0 | &sbi->s_lock | |
| HALF_LOCKED2 | &s->s_umount | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &cifs_mount_mutex | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |