Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c nested_cr4_valid() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $1 |
arch/x86/kvm/vmx/nested.c nested_guest_cr0_valid() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $1 |
arch/x86/kvm/vmx/nested.c nested_host_cr0_valid() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $1 |
arch/x86/kvm/vmx/nested.c vmx_control_verify() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $0 |
| DATA_SOURCE | 1 | fixed0 | $1 |
| DATA_SOURCE | 2 | fixed1 | $2 |
arch/x86/kvm/vmx/vmx.c nested_cr4_valid() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $1 |
arch/x86/kvm/vmx/vmx.c nested_guest_cr0_valid() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $1 |
arch/x86/kvm/vmx/vmx.c nested_host_cr0_valid() -> fixed_bits_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $1 |