Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- arch/x86/hyperv/hv_init.c, line 600
- drivers/hv/hv_balloon.c, line 1655
- drivers/hv/hv_common.c, line 616
Smatch caller information:
drivers/hv/hv_balloon.c enable_page_reporting() -> hv_query_ext_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cap_query | 256 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/hyperv/hv_init.c hyperv_init() -> hv_query_ext_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cap_query | 0 |
| NOCHECK_CALL |