Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/virt/coco/efi_secret/efi_secret.c efi_secret_securityfs_setup() -> efi_guid_to_str()

Type Parameter Key Value
PARAM_VALUE 1 out 202949516082384896
BUF_SIZE 1 out 37
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/esrt.c fw_class_show() -> efi_guid_to_str()

Type Parameter Key Value
PARAM_VALUE 1 out 1-u64max
DATA_SOURCE 1 out $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 guid 4096-ptr_max
BUF_SIZE 1 out 37
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

fs/efivarfs/vars.c efivar_get_utf8name() -> efi_guid_to_str()

Type Parameter Key Value
PARAM_VALUE 1 out 4096-ptr_max
DATA_SOURCE 0 guid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &efivars_lock
HALF_LOCKED2 &sb->s_umount