Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/nfit/core.c add_flush() -> sizeof_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flush | 4096-18446744073709547519 |
| DATA_SOURCE | 0 | flush | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | flush | unit_byte |
| LOCK2 | &acpi_desc->init_mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct acpi_nfit_desc)->init_mutex |
drivers/acpi/nfit/core.c add_flush() -> sizeof_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | flush->hint_count | |
| LOCK2 | &acpi_desc->init_mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct acpi_nfit_desc)->init_mutex |
drivers/acpi/nfit/core.c add_flush() -> sizeof_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flush | 4096-18446744073709547519 |
| PARAM_VALUE | 0 | flush->header.length | 16-u16max |
| DATA_SOURCE | 0 | flush | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | flush->hint_count | |
| UNITS | 0 | flush | unit_byte |
| LOCK2 | &acpi_desc->init_mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct acpi_nfit_desc)->init_mutex |
drivers/acpi/nfit/core.c add_flush() -> sizeof_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flush | 4096-18446744073709547519 |
| PARAM_VALUE | 0 | flush->header.length | 16-u16max |
| DATA_SOURCE | 0 | flush | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | flush->hint_count | |
| UNITS | 0 | flush | unit_byte |
| LOCK2 | &acpi_desc->init_mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct acpi_nfit_desc)->init_mutex |
drivers/acpi/nfit/core.c add_flush() -> sizeof_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flush | 4096-18446744073709547519 |
| PARAM_VALUE | 0 | flush->header.length | 16-u16max |
| DATA_SOURCE | 0 | flush | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | flush->hint_count | |
| UNITS | 0 | flush | unit_byte |
| LOCK2 | &acpi_desc->init_mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct acpi_nfit_desc)->init_mutex |
drivers/acpi/nfit/core.c add_flush() -> sizeof_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flush | 4096-18446744073709547519 |
| PARAM_VALUE | 0 | flush->header.length | 16-u16max |
| DATA_SOURCE | 0 | flush | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | flush->hint_count | |
| UNITS | 0 | flush | unit_byte |
| LOCK2 | &acpi_desc->init_mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct acpi_nfit_desc)->init_mutex |