Defined in 1 files as a prototype:
Defined in 2 files as a function:
- arch/x86/hyperv/ivm.c, line 459 (as a function)
- arch/x86/include/asm/mshyperv.h, line 215 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/kernel/cpu/mshyperv.c hv_set_non_nested_msr() -> hv_ivm_msr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msr | 1073741952,1073741954-1073741956,1073741970 |
| DATA_SOURCE | 0 | msr | $0 |
| DATA_SOURCE | 1 | value | $1 |
| HARD_MAX | 0 | msr | 1073741970 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u64max[c] |
| UNITS | 1 | value | unit_byte |
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/hyperv/hv_init.c hyperv_cleanup() -> hv_ivm_msr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msr | 1073741824 |
| PARAM_VALUE | 1 | value | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
arch/x86/hyperv/hv_init.c hyperv_init() -> hv_ivm_msr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msr | 1073741824 |
| PARAM_VALUE | 1 | value | 9295429660991029248 |
| DATA_SOURCE | 1 | value | r hv_generate_guest_id |
| NOCHECK_CALL |
arch/x86/hyperv/hv_init.c hyperv_init() -> hv_ivm_msr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msr | 1073741824 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |