Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/coco/sev/vc-handle.c, line 459
- arch/x86/include/asm/special_insns.h, line 162
- arch/x86/kernel/paravirt.c, line 69
- arch/x86/kvm/vmx/vmx.c, line 7465
Smatch caller information:
arch/x86/kernel/paravirt.c pv_native_write_cr2() -> native_write_cr2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $0 |
| NOCHECK_CALL |
arch/x86/coco/sev/vc-handle.c vc_early_forward_exception() -> native_write_cr2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_vcpu_enter_exit() -> native_write_cr2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| UNITS | 0 | val | unit_byte |