Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/efi/libstub/vsprintf.c vsnprintf() -> get_sign()

Type Parameter Key Value
PARAM_VALUE 0 num 1198416132706246656
PARAM_VALUE 1 flags 0,2,16,18,32,48
BIT_INFO 1 flags 0x0,0x32
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &c->umount_mutex
HALF_LOCKED2 &head->io_sem
HALF_LOCKED2 &led_cdev->trigger_lock
HALF_LOCKED2 &occ->hwmon_lock
HALF_LOCKED2 &occ->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &port->logbuffer_lock
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &event_buffer_lock
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &tomoyo_ss
HALF_LOCKED2 global &triggers_list_lock
HALF_LOCKED2 irq
HALF_LOCKED2 irqflags
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk