Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/cpu/bugs.c x86_virt_spec_ctrl() -> ssbd_spec_ctrl_to_tif()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spec_ctrl | 0,4 |
| BIT_INFO | 0 | spec_ctrl | 0x0,0x4 |
| BIT_INFO | 0 | spec_ctrl | 0x0,0x4 |
arch/x86/kernel/cpu/bugs.c x86_virt_spec_ctrl() -> ssbd_spec_ctrl_to_tif()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spec_ctrl | 0,4 |
| FUZZY_MAX | 0 | spec_ctrl | 4 |