Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/acpi/acpica/utxferror.c acpi_bios_error() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 173449753858998272,2236540775647137792,3041464193205477376,3929560947843923968,7145912765232128000,8776262366080262144,9210460724242993152
PARAM_VALUE 1 *args 8776262366080262144,7145912765232128000,3041464193205477376,3929560947843923968,9210460724242993152,173449753858998272,2236540775647137792
BUF_SIZE 0 fmt 27,38-39,53-54,65,73
BUF_SIZE 0 fmt 27,38-39,53-54,65,73
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $2
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/utxferror.c acpi_bios_exception() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6279589576189984768,8278458212260458496
PARAM_VALUE 1 *args 6279589576189984768,8278458212260458496
BUF_SIZE 0 fmt 56,81
BUF_SIZE 0 fmt 56,81
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $3
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/utxferror.c acpi_bios_warning() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 683426192831488000,1819005106669056000,2027216261855707136,3306988176091213824,5457644609615826944,7253494512301506560,8397984376957636608
PARAM_VALUE 1 *args 3306988176091213824,1819005106669056000,8397984376957636608,7253494512301506560,2027216261855707136,5457644609615826944,683426192831488000
BUF_SIZE 0 fmt 41,49,65,67,72,79
BUF_SIZE 0 fmt 41,49,65,67,72,79
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $2
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/utxferror.c acpi_error() -> acpi_os_vprintf()

Type Parameter Key Value
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $2
PARAM_COMPARE 0 &fmt == $1
NOCHECK_CALL

drivers/acpi/acpica/utxferror.c acpi_exception() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
BUF_SIZE 0 fmt 16,20-27,29-41,43,45-47,50,54-55,58
BUF_SIZE 0 fmt 16,20-27,29-41,43,45-47,50,54-55,58
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $3
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/utxferror.c acpi_info() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
BUF_SIZE 0 fmt 24-25,32,38-39,41,43,45,52,62,64,66,70,76
BUF_SIZE 0 fmt 24-25,32,38-39,41,43,45,52,62,64,66,70,76
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $0
STR_LEN 0 fmt 23-24,31,37-38,40,42,44,51,61,63,65,69,75
STR_LEN 0 fmt 23-24,31,37-38,40,42,44,51,61,63,65,69,75
STR_LEN 1 *args 23-24,31,37-38,40,42,44,51,61,63,65,69,75
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/utxferror.c acpi_warning() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
BUF_SIZE 0 fmt 14,20,25-26,29,31-32,37-39,41,51,54,58-61,64-65,68-69,76,86,90
BUF_SIZE 0 fmt 14,20,25-26,29,31-32,37-39,41,51,54,58-61,64-65,68-69,76,86,90
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $2
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/osl.c acpi_os_printf() -> acpi_os_vprintf()

Type Parameter Key Value
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $0
PARAM_COMPARE 0 &fmt == $1
NOCHECK_CALL

drivers/acpi/acpica/utdebug.c acpi_debug_print() -> acpi_os_vprintf()

Type Parameter Key Value
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $5
PARAM_COMPARE 0 &fmt == $1
NOCHECK_CALL

drivers/acpi/acpica/utdebug.c acpi_debug_print_raw() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
BUF_SIZE 0 fmt 2-5,8,12-17,27,29,34-35,37-38,41,45-46,48,59-60,65,80-81,93,116
BUF_SIZE 0 fmt 2-5,8,12-17,27,29,34-35,37-38,41,45-46,48,59-60,65,80-81,93,116
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $5
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/uterror.c acpi_ut_predefined_bios_error() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1740163546413457408,4343598240163835904,7313768282000068608,7676374238528966656
PARAM_VALUE 1 *args 1740163546413457408,7313768282000068608,7676374238528966656,4343598240163835904
BUF_SIZE 0 fmt 53,55,59,75
BUF_SIZE 0 fmt 53,55,59,75
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $4
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/uterror.c acpi_ut_predefined_info() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1128917476795236352,4895993332982943744,8124223389609148416
PARAM_VALUE 1 *args 1128917476795236352,8124223389609148416,4895993332982943744
BUF_SIZE 0 fmt 54,56,58
BUF_SIZE 0 fmt 54,56,58
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $4
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/acpica/uterror.c acpi_ut_predefined_warning() -> acpi_os_vprintf()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
BUF_SIZE 0 fmt 30-31,34,38-40,42,45,47-48,50-51,55-56,58,60-62,65,67-68
BUF_SIZE 0 fmt 30-31,34,38-40,42,45,47-48,50-51,55-56,58,60-62,65,67-68
BUF_SIZE 1 args 8
BUF_SIZE 1 args 8
DATA_SOURCE 0 fmt $4
PARAM_COMPARE 0 &fmt == $1
TERMINATED 0 fmt 1
TERMINATED 1 *args 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL