Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 pgpt 0,4096-ptr_max
PARAM_VALUE 0 pgpt->header_size 92-4294967295
PARAM_VALUE 0 pgpt->signature 6075990659671082565
PARAM_VALUE 0 pgpt->sizeof_partition_entry 128
PARAM_VALUE 1 agpt 0,4096-ptr_max
PARAM_VALUE 1 agpt->header_size 92-4294967295
PARAM_VALUE 1 agpt->signature 6075990659671082565
PARAM_VALUE 1 agpt->sizeof_partition_entry 128
DATA_SOURCE 2 lastlba r last_lba
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex