Defined in 2 files as a function:
- drivers/firmware/efi/libstub/vsprintf.c, line 60 (as a function)
- lib/vsprintf.c, line 338 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/firmware/efi/libstub/vsprintf.c put_dec() -> put_dec_helper4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | end | 3169944376308232214 |
| PARAM_VALUE | 1 | x | 0-884001615 |
| BUF_SIZE | 0 | end | 0 |
| DATA_SOURCE | 0 | end | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &ch->cdma.lock | ||
| 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 | &pool->lock | ||
| HALF_LOCKED2 | &port->logbuffer_lock | ||
| HALF_LOCKED2 | &rproc->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &debug_lock | ||
| 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 |
drivers/firmware/efi/libstub/vsprintf.c put_dec() -> put_dec_helper4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | end | 3169944376308232210 |
| PARAM_VALUE | 1 | x | 0-1125520955 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &ch->cdma.lock | ||
| 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 | &pool->lock | ||
| HALF_LOCKED2 | &port->logbuffer_lock | ||
| HALF_LOCKED2 | &rproc->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &debug_lock | ||
| 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 |
drivers/firmware/efi/libstub/vsprintf.c put_dec() -> put_dec_helper4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | end | 3169944376308232206 |
| PARAM_VALUE | 1 | x | 0-314090737 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &ch->cdma.lock | ||
| 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 | &pool->lock | ||
| HALF_LOCKED2 | &port->logbuffer_lock | ||
| HALF_LOCKED2 | &rproc->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &debug_lock | ||
| 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 |
drivers/firmware/efi/libstub/vsprintf.c put_dec() -> put_dec_helper4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | end | 3169944376308232202 |
| PARAM_VALUE | 1 | x | 0-18446744 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &ch->cdma.lock | ||
| 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 | &pool->lock | ||
| HALF_LOCKED2 | &port->logbuffer_lock | ||
| HALF_LOCKED2 | &rproc->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &debug_lock | ||
| 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 |