Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/lib/msr.c msr_clear_bit() -> __flip_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 0-1,4,9,14,18-19,22,24,30,35,62 |
| PARAM_VALUE | 2 | set | 0 |
| DATA_SOURCE | 0 | msr | $0 |
| DATA_SOURCE | 1 | bit | $1 |
| HARD_MAX | 1 | bit | 62 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &domain_list_lock |
arch/x86/lib/msr.c msr_set_bit() -> __flip_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msr | 473,3221225600,3221226495,3221291024,3221291029,3221291080,3221295109,3221295136-3221295137,3221295144-3221295145,3221295150,3221295331 |
| PARAM_VALUE | 1 | bit | 0-1,3-6,9-10,14-15,19,21,30-31,33,35,54 |
| PARAM_VALUE | 2 | set | 1 |
| DATA_SOURCE | 0 | msr | $0 |
| DATA_SOURCE | 1 | bit | $1 |
| HARD_MAX | 0 | msr | 3221295331 |
| HARD_MAX | 1 | bit | 54 |
| RX_PATH | |||
| TASK_NOT_RUNNING |