Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/mm/tlb.c cr4_update_pce_mm() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 256 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags |
arch/x86/mm/init.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 16,128,131072 |
| DATA_SOURCE | 0 | mask | $0 |
| HARD_MAX | 0 | mask | 131072 |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | irq |
arch/x86/kernel/process.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 4 |
| DATA_SOURCE | 0 | mask | $0 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | irq |
arch/x86/kernel/cpu/mce/core.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 64 |
| DATA_SOURCE | 0 | mask | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags |
arch/x86/virt/hw.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 8192 |
| DATA_SOURCE | 0 | mask | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags |
arch/x86/kernel/fred.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 4294967296 |
| DATA_SOURCE | 0 | mask | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | irq |
arch/x86/kernel/cpu/common.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 2048,65536,1048576,2097152,4194304,8388608,134217728 |
| DATA_SOURCE | 0 | mask | $0 |
| HARD_MAX | 0 | mask | 134217728 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags |
arch/x86/kernel/fpu/xstate.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 262144 |
| DATA_SOURCE | 0 | mask | $0 |
| NOCHECK_CALL | |||
| LOCK2 | flags |
arch/x86/platform/efi/efi_64.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | mask | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &__efi_uv_runtime_lock | ||
| HALF_LOCKED2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/kernel/fpu/init.c cr4_set_bits() -> cr4_set_bits_irqsoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mask | 1536 |
| DATA_SOURCE | 0 | mask | $0 |
| NOCHECK_CALL | |||
| LOCK2 | flags |