Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/acpi/osl.c, line 158 (as a function)
- tools/power/acpi/os_specific/service_layers/osunixxf.c, line 384 (as a function)
Referenced in 4 files:
- drivers/acpi/acpica/utdebug.c
- drivers/acpi/acpica/uterror.c
- drivers/acpi/acpica/utxferror.c
- drivers/acpi/osl.c, line 153
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 |