Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/locks.c flock_lock_inode() -> locks_move_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_file->f_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | new->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | new->c.flc_link.pprev | 0 |
| PARAM_VALUE | 0 | new->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 0 | new->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | new->fl_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 0 | new->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 0 | new->fl_u.afs.link.next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.afs.link.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_count.counter | 0-s32max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.nfs4_fl.owner | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.nfs4_fl.owner->ls_seqid.flags | 0-s32max |
| PARAM_VALUE | 0 | new->fl_u.nfs_fl.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.nfs_fl.owner->host->h_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_owner->count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_owner->lo_owner.so_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 1 | fl->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 1 | fl->fl_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_dname | 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_flags | 0-s64max |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner->count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner->host->h_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | fl | (-1),1-s32max |
| BUF_SIZE | 1 | fl | (-1),1-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | s32min,(-1),1-s32max |
| BUF_SIZE | 1 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| BUF_SIZE | 1 | fl->fl_ops | (-1),16 |
| DATA_SOURCE | 0 | new | r locks_alloc_lock |
| DATA_SOURCE | 1 | fl | $1 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x0,0xfffffff7 |
| NOSPEC | 0 | new->c.flc_type | |
| NOSPEC | 0 | new->fl_start | |
| NOSPEC | 1 | fl->c.flc_type | |
| NOSPEC | 1 | fl->fl_start | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | new->c.flc_type | 0-1 |
| USER_DATA | 0 | new->fl_start | s64min-s64max[c] |
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-s64max[c] |
| LOCK2 | &ctx->flc_lock | ||
| HALF_LOCKED2 | &nfsi->rwsem | ||
| HALF_LOCKED2 | &sp->so_delegreturn_mutex | ||
| TYPE_LOCK | (struct file_lock_context)->flc_lock |
fs/locks.c posix_lock_inode() -> locks_move_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | new->c.flc_link.pprev | 0 |
| PARAM_VALUE | 0 | new->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 0 | new->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | new->fl_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 0 | new->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_owner->count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_owner->lo_owner.so_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 1 | fl->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 1 | fl->fl_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->dirty_inode | 0,621408797344559104,3913825662048972800,5398169538550730752,5762663374499221504,5910256729421369344,7426269908539875328,8470241182936211456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->shutdown | 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | s32min,(-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| BUF_SIZE | 1 | fl->fl_ops | (-1),16 |
| CAPPED_DATA | 1 | fl->c.flc_owner | 1 |
| CAPPED_DATA | 1 | fl->fl_start | 1 |
| DATA_SOURCE | 0 | new | r locks_alloc_lock |
| DATA_SOURCE | 1 | fl | $1 |
| PARAM_COMPARE | 1 | fl->fl_end | >= $1->fl_start |
| BIT_INFO | 1 | fl->c.flc_flags | 0x0,0xfffffff7 |
| NOSPEC | 0 | new->fl_start | |
| NOSPEC | 1 | fl->c.flc_type | |
| NOSPEC | 1 | fl->fl_start | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | new->c.flc_type | 0-1 |
| USER_DATA | 0 | new->fl_start | s64min-s64max[c] |
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-s64max[c] |
| LOCK2 | &ctx->flc_lock | ||
| TYPE_LOCK | (struct file_lock_context)->flc_lock |
fs/locks.c posix_lock_inode() -> locks_move_blocks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | new->c.flc_link.pprev | 0 |
| PARAM_VALUE | 0 | new->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 0 | new->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | new->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | new->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | new->fl_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 0 | new->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | new->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_owner->count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_owner->lo_owner.so_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 1 | fl->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 1 | fl->fl_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->dirty_inode | 0,621408797344559104,3913825662048972800,5398169538550730752,5762663374499221504,5910256729421369344,7426269908539875328,8470241182936211456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->shutdown | 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | s32min,(-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| BUF_SIZE | 1 | fl->fl_ops | (-1),16 |
| DATA_SOURCE | 0 | new | r locks_alloc_lock |
| DATA_SOURCE | 1 | fl | $1 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x0,0xfffffff7 |
| NOSPEC | 0 | new->fl_start | |
| NOSPEC | 1 | fl->c.flc_type | |
| NOSPEC | 1 | fl->fl_start | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | new->c.flc_type | 0-1 |
| USER_DATA | 0 | new->fl_start | s64min-s64max[c] |
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-s64max[c] |
| LOCK2 | &ctx->flc_lock | ||
| TYPE_LOCK | (struct file_lock_context)->flc_lock |