Documented in 1 files:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

block/partitions/efi.c efi_partition() -> last_lba()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex

block/partitions/efi.c find_valid_gpt() -> last_lba()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex

block/partitions/efi.c is_gpt_valid() -> last_lba()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex

block/partitions/efi.c read_lba() -> last_lba()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
TYPE_LOCK (struct gendisk)->open_mutex